Title :
A new paradigm for dichotomy-based constrained encoding
Author :
Coudert, Olivier
Author_Institution :
Synopsys Inc., Mountain View, CA, USA
Abstract :
One essential step in sequential logic synthesis consists of finding a state encoding that meets some requirements, such as optimal implementation, or correctness in the case of asynchronous FSMs. Dichotomy-based constrained encoding is more general than other constrained encoding frameworks, but it is also more difficult to solve. This paper introduces a new formalization of this problem, which leads to original exact and heuristic algorithms. Experimental results show that the resulting exact solver outperforms the previous approaches
Keywords :
asynchronous sequential logic; circuit optimisation; finite state machines; logic CAD; sequential circuits; asynchronous FSMs; dichotomy-based constrained encoding; exact solver; heuristic algorithms; logic synthesis; optimal implementation; sequential logic; state encoding; Asynchronous circuits; Circuit synthesis; Constraint optimization; Delay; Encoding; Heuristic algorithms; Logic circuits; Minimization; Programmable logic arrays; Wire;
Conference_Titel :
Design, Automation and Test in Europe, 1998., Proceedings
Conference_Location :
Paris
Print_ISBN :
0-8186-8359-7
DOI :
10.1109/DATE.1998.655954
