Model optimization techniques in a verification platform for classified properties

Authors:
Ming Zhu;Jinian Bian;Weimin Wu
Affiliations:
Department of Computer and Science, Tsinghua University, Beijing, China;Department of Computer and Science, Tsinghua University, Beijing, China;Department of Computer and Science, Tsinghua University, Beijing, China
Venue:
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Year:
2004

Citing 4
Cited 0

Enhancing simulation with BDDs and ATPG

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Model checking

Model checking
A hybrid verification approach: getting deep into the design

Proceedings of the 39th annual Design Automation Conference
Smart simulation using collaborative formal and simulation engines

Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design

Quantified Score

Hi-index	0.00

Visualization

Abstract

In system functional verification, collaborative method is an effective technique. Co-SAM verification platform employs three verification methods, static analysis, logic simulation and model checking, to implement verification process. With the collaborative platform, system properties are classified and verified. A whole model for a system inclines to ineffectiveness and states explosion during verification. Model refinement is indispensable. This paper presents special optimization techniques for verification model refinement, i.e. property grouping, signals reordering, and model hierarchizing. Experimental results demonstrate the validity of these optimization techniques in system functional verification.