Specification and formal verification of interconnect bus protocols

被引：0

作者：

Ivanov, L ^{[1
]}

Nunna, R ^{[1
]}

机构：

[1] Iona Coll, Dept Comp Sci, New Rochelle, NY 10801 USA

来源：

PROCEEDINGS OF THE 43RD IEEE MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I-III | 2000年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

In this paper, we apply a formal verification framework based on partial orders to verify the timing behaviors of communication/interconnect protocols such as Handshaking and PCI. Our methodology aims to reduce the high complexity of the algorithms incorporated in first-generation verification tools.

引用

页码：378 / 382

页数：5

共 50 条

[1] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
KNAPSKOG, SJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73
[2] A Formal Specification and Verification Framework for Timed Security Protocols
Li, Li
Sun, Jun
Liu, Yang
Sun, Meng
Dong, Jin-Song
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (08) : 725 - 746
[3] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
[J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[4] Formal verification of activity-based specification of protocols
Anand, KC
Shyamasundar, RK
[J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2000, 60 (05) : 639 - 676
[5] Formal verification of a pervasive interconnect bus system in a high-performance microprocessor
Le, Thuyen
Gloekler, Tilman
Baumgartner, Jason
[J]. 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 219 - +
[6] Specification and verification of a real-time field bus with formal description languages
Marino, P
Poza, F
Dominguez, M
Nogueira, J
[J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 415 - 429
[7] Formal specification and verification of VHDL
Bickford, M
Jamsek, D
[J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
[8] Formal Specification and Verification of CRDTs
Zeller, Peter
Bieniusa, Annette
Poetzsch-Heffter, Arnd
[J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 33 - 48
[9] FORMAL FOUNDATION FOR SPECIFICATION AND VERIFICATION
LAMPORT, L
SCHNEIDER, FB
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 203 - 285
[10] Formal verification and testing of protocols
Avresky, DR
[J]. COMPUTER COMMUNICATIONS, 1999, 22 (07) : 681 - 690

← 1 2 3 4 5 →