Localized verification of circuit descriptions
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 349-364
- https://doi.org/10.1007/3-540-52148-8_29
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An overview of LP, the Larch ProverLecture Notes in Computer Science, 1989
- From high-level descriptions to vlsi circuitsBIT Numerical Mathematics, 1988
- Verification of VLSI Circuits Using LPDAIMI Report Series, 1988
- Inductive methods for reasoning about abstract data typesPublished by Association for Computing Machinery (ACM) ,1988
- Report on the larch shared languageScience of Computer Programming, 1986