| Title | A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Zheng, H, Ahrens, J, Xia, T |
| Journal | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems |
| Volume | 27 |
| Issue | 7 |
| Pagination | 1343 - 1347 |
| Date Published | 2008/07 |
| ISSN | 0278-0070 |
| 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. |
| URL | http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4544873 |
| DOI | 10.1109/TCAD.2008.923104 |
| Short Title | IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. |
| Refereed Designation | Refereed |
Status:
Published
Attributable Grant:
CSYS
Grant Year:
Year2