Verification of VLSI Circuits Using LP
DOI:
https://doi.org/10.7146/dpb.v17i258.7842Abstract
We pressent an approach to reasoning about the functional behaviour of circuits. The approach begins and culminates with a technique, Synchronized Transitions, for specifying circuits and culminates with a technique for constructing machine checked proofs that invariants are preserved. We also report on some successful experiments using the approach to verify properties of simple, but nontrivial VLSI circuits.Downloads
Published
1988-07-01
How to Cite
Garland, S., Guttag, J., & Staunstrup, J. (1988). Verification of VLSI Circuits Using LP. DAIMI Report Series, 17(258). https://doi.org/10.7146/dpb.v17i258.7842
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.