Verification of Modular Asynchronous Circuits

This chapter contains sections titled: About Asynchronous Circuits XOR‐Gates CEL‐Circuit Other Modules Module Extensions Modular Networks Realizations Verification of Extended Modules Verification of Parallel Control Structures Further Reading Selected Solutions References

Gespeichert in:
Bibliographische Detailangaben
Format: Buchkapitel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This chapter contains sections titled: About Asynchronous Circuits XOR‐Gates CEL‐Circuit Other Modules Module Extensions Modular Networks Realizations Verification of Extended Modules Verification of Parallel Control Structures Further Reading Selected Solutions References
DOI:10.1002/9780470253410.ch7