DocumentCode
1954275
Title
DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers
Author
Schaefer, Mark ; Wist, Dominic ; Wollowski, Ralf
Author_Institution
Senacor Technol. AG, Nuremberg, Germany
fYear
2009
fDate
1-3 July 2009
Firstpage
186
Lastpage
190
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2009. ACSD '09. Ninth International Conference on
Conference_Location
Augsburg
ISSN
1550-4808
Print_ISBN
978-0-7695-3697-2
Type
conf
DOI
10.1109/ACSD.2009.20
Filename
5291042
Link To Document