DocumentCode
3088341
Title
Exact dichotomy-based constrained encoding
Author
Coudert, Olivier ; Shi, C. -J Richard
Author_Institution
Synopsys Inc., Mountain View, CA, USA
fYear
1996
fDate
7-9 Oct 1996
Firstpage
426
Lastpage
431
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Design: VLSI in Computers and Processors, 1996. ICCD '96. Proceedings., 1996 IEEE International Conference on
Conference_Location
Austin, TX
ISSN
1063-6404
Print_ISBN
0-8186-7554-3
Type
conf
DOI
10.1109/ICCD.1996.563589
Filename
563589
Link To Document