2015 | OriginalPaper | Buchkapitel
Design of Speed Independent Circuits
verfasst von : Eric Badouel, Luca Bernardinello, Philippe Darondeau
Erschienen in: Petri Net Synthesis
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter, we present applications of regions and elementary (or quasielementary) net synthesis for the design of speed independent circuits. Asynchronous circuit design is a wide and complex field that encompasses other topics than Petri nets. We refer the reader to the book [46] for a complete presentation of this field. We will limit ourselves to assessing the roles played by regions and net synthesis for solving the Complete State Coding problem (CSC). This crucial problem motivated the implementation of a net synthesis procedure in Petrify, a general design tool for asynchronous circuits presented in [46]. It must be acknowledged that different methods based on net unfoldings and SAT solvers are now preferred over net synthesis for solving the CSC problem.