Abstract
This paper presents a new efficient optimised state assignment method for solving complete state coding (CSC) problem that operates purely at the state graph level and is applicable to a broad class of behaviors. This method has been automated and applied to a large set of asynchronous benchmarks and industrial circuits. Compared to existing techniques, this new method achieves significant improvements in terms of both circuit area and computation time.