Model optimization techniques in a verification platform for classified properties

被引：0

作者：

Zhu, M ^{[1
]}

Bian, JN ^{[1
]}

Wu, WM ^{[1
]}

机构：

[1] Tsinghua Univ, Dept Comp & Sci, Beijing 100084, Peoples R China

来源：

EMBEDDED SOFTWARE AND SYSTEMS | 2005年 / 3605卷

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：542 / 548

页数：7

共 50 条

[31] Experimental verification of a model for the optimization of pin fin heatsinks
Nortel Networks, Calgary, Canada
Thermomechanical Phenomena in Electronic Systems -Proceedings of the Intersociety Conference, 2000, 1 : 63 - 69
[32] Experimental verification of a model for the optimization of pin fin heatsinks
Zapach, T
Newhouse, T
Taylor, J
Thomasing, P
ITHERM 2000: SEVENTH INTERSOCIETY CONFERENCE ON THERMAL AND THERMOMECHANICAL PHENOMENA IN ELECTRONIC SYSTEMS, VOL I, PROCEEDINGS, 2000, : 63 - 69
[33] Crop planning optimization model: the validation and verification processes
Janova, Jitka
CENTRAL EUROPEAN JOURNAL OF OPERATIONS RESEARCH, 2012, 20 (03) : 451 - 462
[34] Dynamic Signature Verification for Secure Retrieval of Classified Information
Vajpai, Jayashri
Arun, J. B.
Vajpai, Ishani
2013 FOURTH NATIONAL CONFERENCE ON COMPUTER VISION, PATTERN RECOGNITION, IMAGE PROCESSING AND GRAPHICS (NCVPRIPG), 2013,
[35] Property-classified hybrid verification based on CDFG
Zhu, M
Bian, J
Wu, WM
Xue, HX
2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 233 - 237
[36] Model Reduction Techniques for the Formal Verification of Hardware dependent Software
Ecker, Wolfgang
Esen, Volkan
Findenig, Rainer
Steininger, Thomas
Velten, Michael
2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 148 - 153
[37] Formal Verification Techniques for Model Transformations Specified By-Demonstration
Gabmeyer, Sebastian
2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 390 - 393
[38] Towards Automated Software Verification Using Model Checking Techniques
Asadollahi, Somayeh
Rafe, Vahid
Rafeh, Reza
Rahmani, Adel T.
THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 305 - +
[39] Kinematic model and verification of the modular omni-directional mobile platform
Koh D.-Y.
Kim J.-J.
Park J.
Han H.-S.
Journal of Institute of Control, Robotics and Systems, 2019, 25 (06) : 492 - 497
[40] Verification of web service flows with model-checking techniques
Nakajima, S
FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 378 - 385

← 1 2 3 4 5 →