A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification.

Authors :: Hao Zheng
Ahrens, Jared
Tian Xia
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]

Subjects :: *ABSTRACT thought
*PETRI nets
*MODULES (Algebra)
*MATHEMATICAL models
*CONFIRMATION (Logic)
*CONSTRAINT satisfaction

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

Full Text Access

Tools