Title :
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers
Author :
Schaefer, Mark ; Wist, Dominic ; Wollowski, Ralf
Author_Institution :
Senacor Technol. AG, Nuremberg, Germany
Abstract :
STG-based logic synthesis of complex asynchronous circuits has to deal with state space explosion. To cope with it, a structural STG decomposition based on transition contraction was first proposed by Chu and improved as well as proven correct by Vogler and Wollowski. We present an implementation of this improved version with significant further optimisations, e.g. achieving Sl-implementability by internal communication.
Keywords :
asynchronous circuits; logic design; DESIJ; STG-based logic synthesis; complex asynchronous circuits; complex asynchronous controllers; decomposition-based synthesis; structural STG decomposition; Asynchronous circuits; Circuit synthesis; Control system synthesis; Explosions; Hardware design languages; Logic circuits; Logic design; Merging; Robustness; State-space methods; DesiJ; SI synthesis; STG; decomposition; state space explosion;
Conference_Titel :
Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
Conference_Location :
Augsburg
Print_ISBN :
978-0-7695-3697-2
DOI :
10.1109/ACSD.2009.20
