Modeling and synthesis of multi-rail multi-protocol QDI circuits
Résumé
Quasi-Delay-Insensitive (QDI) circuits behave correctly independently of arbitrary delays in gates or wires, which gives them many advantages. However, there are a lot of restrictions for the design of this type of circuits, making them difficult to synthesize automatically. This paper presents a new methodology to model and synthesize QDI asynchronous circuits. The targeted circuits use the multi-rail data encoding, and use different handshaking protocols for channel-based communications. The proposed synthesis algorithms are based on Multi-valued Decision Diagrams. This article proves formally that the circuits generated with this technique are QDI. An example is given to illustrate the circuit modeling and the synthesis.