A compositional minimization approach for large asynchronous design verification

Update item information
Publication Type pre-print
School or College College of Engineering
Department Electrical & Computer Engineering
Creator Myers, Chris J.
Other Author Zheng, Hao; Rodriguez, Emmanuel; Zhang, Yingying
Title A compositional minimization approach for large asynchronous design verification
Date 2012-01-01
Description This paper presents a compositional minimization approach with efficient state space reductions for verifying non-trivial asynchronous designs. These reductions can result in a reduced model that contains the exact same set of observably equivalent behavior in the original model, therefore no false counter-examples result from the verification of the reduced model. This approach allows designs that cannot be handled monolithically or with partial-order reduction to be verified without difficulty. The experimental results show significant scale-up of the compositional minimization approach using these reductions on a number of large asynchronous designs.
Type Text
Publisher Springer
Volume 7385
First Page 62
Last Page 79
Dissertation Institution University of Utah
Language eng
Bibliographic Citation Zheng, H., Rodriguez, E., Zhang, Y., & Myers, C. (2012). A compositional minimization approach for large asynchronous design verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7385 LNCS, 62-79.
Rights Management (c) Springer (The original publication is available at www.springerlink.com)
Format Medium application/pdf
Format Extent 1,418,981 bytes
Identifier uspace,17710
ARK ark:/87278/s60g43x6
Setname ir_uspace
Date Created 2012-12-11
Date Modified 2021-05-06
ID 708270
Reference URL https://collections.lib.utah.edu/ark:/87278/s60g43x6