An efficient method for the decomposition and resynthesis of speed-independent circuits

This paper presents a time and area efficient method for the decomposition and resynthesis of speed-independent circuits from the signal transition graph (STG) specification. Our method first investigates the hazard-free decomposition of all high-fanin gates without adding any signals to the original specification. For those gates that cannot be hazard-freely decomposed, we propose new signal-adding methods for resynthesis. Our decomposition and resynthesis techniques have been fully automated and applied to several asynchronous benchmarks. Compared with previous work, our method lowers the run time and reduces the implementation area at the same time.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Jordi Cortadella,et al.  Structural methods for the synthesis of speed-independent circuits , 1996, Proceedings ED&TC European Design and Test Conference.

[3]  P. Siegel,et al.  Decomposition Methods For Library Binding Of Speed-independent Asynchronous Designs , 1994, IEEE/ACM International Conference on Computer-Aided Design.

[4]  Luciano Lavagno,et al.  Decomposition and technology mapping of speed-independent circuits using Boolean relations , 1997, ICCAD 1997.

[5]  Luciano Lavagno,et al.  Technology mapping for speed-independent circuits: Decomposition and resynthesis , 1997, Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.

[6]  Alexandre Yakovlev,et al.  Basic Gate Implementation of Speed-Independendent Circuits , 1994, 31st Design Automation Conference.

[7]  Jer Min Jou,et al.  An integrated synthesis system for speed-independent asynchronous circuits , 1997, Proceedings of 1997 IEEE International Symposium on Circuits and Systems. Circuits and Systems in the Information Age ISCAS '97.

[8]  Peter A. Beerel,et al.  Automatic gate-level synthesis of speed-independent circuits , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[9]  Takashi Nanya,et al.  Synthesis of Asynchronous Circuits from Signal Transition Graph Specifications (Special Issue on Asynchronous Circuit and System Design) , 1997 .