This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
High-Level Modeling and Design of Asynchronous Interface Logic
Spring 1995 (vol. 12 no. 1)
pp. 32-40
We propose a new methodology to design asynchronous circuits that is divided in two stages: abstract synthesis and logic synthesis. The first stage is carried out by refining an abstract model, based on logic predicates describing the correct input-output behavior of the circuit, into a labeled Petri net and then into a formalization of timing diagrams (the Signal Transition Graph). This refinement involves hierarchical decomposition of the initial implementation until its size can be handled by automated logic synthesis tools, as well as replacing symbolic events occurring on the input-output ports of the labeled Petri net with up and down transitions occurring on the input-output wires of a circuit implementation.
Index Terms:
Self-timed circuits, asynchronous circuits, concurrency models, FIFO buffer, labeled Petri net, signaling expansion, Signal Transition Graphs
Citation:
Alexandre V. Yakovlev, Albert M. Koelmans, Luciano Lavagno, "High-Level Modeling and Design of Asynchronous Interface Logic," IEEE Design & Test of Computers, vol. 12, no. 1, pp. 32-40, Spring 1995, doi:10.1109/54.350688
Usage of this product signifies your acceptance of the Terms of Use.