Formal verification coverage: computing the coverage gap between temporal specifications

被引：8

作者：

Das, S ^{[1
]}

Basu, P ^{[1
]}

Banerjee, A ^{[1
]}

Dasgupta, P ^{[1
]}

Chakrabarti, PP ^{[1
]}

Mohan, CR ^{[1
]}

Fix, L ^{[1
]}

Armoni, R ^{[1
]}

机构：

[1] Indian Inst Technol, Dept Comp Sci & Engn, Kharagpur, W Bengal, India

来源：

ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS | 2004年

关键词：

D O I：

10.1109/ICCAD.2004.1382571

中图分类号：

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

学科分类号：

0812 ;

摘要：

Existing methods for formal verification coverage compare a given specification with a given implementation, and evaluate the coverage gap in terms of quantitative metrics. In this paper, we consider a new problem, namely to compare two formal temporal specifications and to find a set of additional temporal properties that close the coverage gap between the two specifications. In this paper we present: (1) the problem definition and motivation, (2) a methodology for computing the coverage gap between specifications, and (3) a methodology for representing the coverage gap as a collection of temporal properties that preserve the syntactic structure Of the target specification.

引用

页码：198 / 203

页数：6

共 50 条

[1] Coverage metrics for formal verification
Hana Chockler
Orna Kupferman
Moshe Vardi
International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 373 - 386
[2] Coverage metrics for formal verification
Chockler, H
Kupferman, O
Vardi, MY
CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2003, 2860 : 111 - 125
[3] Assignment coverage, a complementary coverage metric in formal verification
Nabi, Majid
Shojaei, Hamid
Mohammadi, Siamak
Navabi, Zainalabedin
2007 INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA, 2007, : 76 - +
[4] Signal coverage computation in formal verification
Shojaei, Hamid
Sayyaran, Masoumeh
IFIP VLSI-SOC 2006: IFIP WG 10.5 INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION & SYSTEM-ON-CHIP, 2006, : 92 - +
[5] A Guiding Coverage Metric for Formal Verification
Haedicke, Finn
Grosse, Daniel
Drechsler, Rolf
DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 617 - 622
[6] Temporal Coverage Analysis for Dynamic Verification
Zhou, Min
Hung, William N. N.
Song, Xiaoyu
Gu, Ming
Sun, Jiaguang
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2018, 65 (01) : 66 - 70
[7] Closing the Gap Between Formal and Material Health Care Coverage in Colombia
Lamprea, Everaldo
Garcia, Johnattan
HEALTH AND HUMAN RIGHTS, 2016, 18 (02) : 49 - 65
[8] Proof-Based Coverage Metrics for Formal Verification
Ghassabani, Elaheh
Gacek, Andrew
Whalen, Michael W.
Heimdahl, Mats P. E.
Wagner, Lucas
PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 194 - 199
[9] Property refinement techniques for enhancing coverage of formal property verification
Basu, P
Dasgupta, P
Chakrabarti, PP
Mohan, CR
17TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: DESIGN METHODOLOGIES FOR THE GIGASCALE ERA, 2004, : 109 - 114
[10] Optimized assignment coverage computation in formal verification of digital systems
Nabi, Majid
Shojaei, Harnid
Moharnmadi, Siamak
Navabi, Zainalabedin
PROCEEDINGS OF THE 16TH ASIAN TEST SYMPOSIUM, 2007, : 172 - +

← 1 2 3 4 5 →