Hierarchical Models of Synchronous Circuits for Formal Verification and Substitution
For hierarchical verification, we model synchronous circuit specifications and implementations uniformly. Each of these descriptions provides both a behavioral and a structural view of the circuit or specification being modeled. We compare the behavior of a circuit model to a requirements specificat...
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
October 1995
|