Applications of Hierarchical Verification in Model Checking
FMCAD, pp. 40-57, 2001.
hierarchical verificationcomplex circuitintel pentiumlarge industrial formal verificationwide spectrumMore(7+)
The LTL model checker that we use provides sound decomposition mechanisms within a purely model checking environment.We have exploited these mechanisms to successfully verify a wide spectrum of large and complex circuits. This paper describes a variety of the decomposition techniques that we have used as part of a large industrial formal ...More
Full Text (Upload PDF)
PPT (Upload PPT)