Modeling and synthesis of multi-rail multi-protocol QDI circuits - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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.
Fichier non déposé

Dates et versions

hal-01384270 , version 1 (19-10-2016)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : hal-01384270 , version 1

Citer

V. Bregier, Bertrand Folco, Laurent Fesquet, M. Renaudin. Modeling and synthesis of multi-rail multi-protocol QDI circuits. Thirteenth International Workshop on Logic and Synthesis, Temecula Creek (IWLS'04), Jun 2004, Temecula, California, États-Unis. ⟨hal-01384270⟩

Collections

UGA CNRS TIMA
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More