loading...
Synthesis of Speed Independent Circuits Based on Decomposition
Crete, Greece April 19-April 23
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASYNC.2004.129929510th IEEE International Symposium on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Tomohiro Yoneda, National Institute of Informatics
Hiroomi Onda, Tokyo Institute of Technology
Chris Myers, University of Utah
This paper presents a decomposition method for speed-independent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesizes each output individually. It begins by contracting the STG to include only transitions on the output of interest and its trigger signals. Next, the reachable state space for this contracted STG is analyzed to determine a minimal number of additional signals which must be reintroduced into the STG to obtain CSC. The circuit for this output is then synthesized from this STG. Results show that the quality of the circuit implementation is nearly as good as the one found from the full reachable state space, but it can be applied to .nd circuits for which full state space methods cannot be successfully applied. The proposed method has been implemented as a part of our tool nutas (Nii-Utah Timed Asynchronous circuit Synthesis system), and its very first version is available at http://research.nii.ac.jp/
Index Terms:
Decomposition, synthesis, STGs, abstraction, speed-independent circuits
Citation:
Tomohiro Yoneda, Hiroomi Onda, Chris Myers, "Synthesis of Speed Independent Circuits Based on Decomposition," async, pp.135-145, 10th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.