Title :
Exact dichotomy-based constrained encoding
Author :
Coudert, Olivier ; Shi, C. -J Richard
Author_Institution :
Synopsys Inc., Mountain View, CA, USA
Abstract :
Constrained encoding has several applications in the synthesis of finite state machines (FSMs), e.g., it can be used to generate asynchronous FSM state assignment that guarantees a critical hazard-free implementation, or to generate synchronous FSM state assignment with minimum PLA implementation. This paper presents ZEDICHO, an original zero-suppressed binary decision diagram (ZBDD) based algorithm that solves exactly the dichotomy-based constrained encoding problem
Keywords :
Boolean functions; asynchronous circuits; diagrams; encoding; finite state machines; logic design; state assignment; Boolean function; ZEDICHO; asynchronous FSM state assignment; critical hazard-free implementation; exact dichotomy-based constrained encoding; finite state machines; minimum PLA implementation; synchronous FSM state assignment; zero-suppressed binary decision diagram; Constraint optimization; Delay; Encoding; Minimization methods; Programmable logic arrays; Silicon; Wire;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1996. ICCD '96. Proceedings., 1996 IEEE International Conference on
Conference_Location :
Austin, TX
Print_ISBN :
0-8186-7554-3
DOI :
10.1109/ICCD.1996.563589
