Applications of Hierarchical Verification in Model Checking

FMCAD, pp. 40-57, 2001.

Cited by: 4|Bibtex|Views0|
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com
Keywords:
hierarchical verificationcomplex circuitintel pentiumlarge industrial formal verificationwide spectrumMore(7+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments