Back to Search
Start Over
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification.
- Source :
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems . Jul2008, Vol. 27 Issue 7, p1343-1347. 5p. - Publication Year :
- 2008
-
Abstract
- This paper presents a compositional method with failure- preserving abstraction for scalable asynchronous design verification. It combines efficient state-space reductions and novel interface refinement and can dramatically reduce the complexity of state space while decreasing the introduction of false failures. This allows much larger designs to be verified as demonstrated in the experimental results. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 02780070
- Volume :
- 27
- Issue :
- 7
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems
- Publication Type :
- Academic Journal
- Accession number :
- 33024919
- Full Text :
- https://doi.org/10.1109/TCAD.2008.923104