1999 | OriginalPaper | Buchkapitel
Hazard—Freedom Checking in Speed—Independent Systems
verfasst von : Husnu Yenigun, Vladimir Levin, Doron Peled, Peter A. Beerel
Erschienen in: Correct Hardware Design and Verification Methods
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
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
We describe two approaches to use the model checking tool COSPAN to check the hazard freedom in speed—independent circuits. First, we propose a straight forward approach to implement a speed—independent circuit in S/R. Second, we propose a reduction technique over the first approach by restricting the original system with certain constraints. This reduction is implemented on the top of COSPAN which also applies its own reductions, including symbolic representation (BDD).