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

Authors:
Hao Zheng;J. Ahrens;Tian Xia
Affiliations:
Dept. of Comput. Sci. & Eng., South Florida Univ., Tampa, FL;-;-
Venue:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Year:
2008

Citing 0
Cited 2

Compositional deadlock detection for rendezvous communication

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
A compositional minimization approach for large asynchronous design verification

SPIN'12 Proceedings of the 19th international conference on Model Checking Software

Quantified Score

Hi-index	0.03

Visualization

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.