An efficient system-level to RTL verification framework for computation-intensive applications

被引：2

作者：

Liveris, ND ^{[1
]}

Zhou, H ^{[1
]}

Banerjee, P ^{[1
]}

机构：

[1] Northwestern Univ, Evanston, IL 60208 USA

来源：

14TH ASIAN TEST SYMPOSIUM, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/ATS.2005.24

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper a new framework for formal verification is presented. The new framework called EVRM (Efficient VeRfication based on Mathematica [1]) can be used for the property verification of a Register Transfer Level implementation using a System Level description as the golden model. EVRM is based on word level techniques and uses the Mathematica tool for the satisfiability procedure. Results show that it can be orders of magnitude faster than CBMC [2] in proving property correctness or providing a counterexample for computation-intensive applications. For certain applications CBMC requires more than 5 hours to provide an answer while EVRM provides an answer in less than 10 minutes.

引用

页码：28 / 33

页数：6

共 50 条

[41] System-level verification methodology for advanced switch fabrics
Sosa, J
Montiel-Nelson, JA
Navarro, H
Shahdadpuri, M
Sarmiento, R
VLSI CIRCUITS AND SYSTEMS, 2003, 5117 : 187 - 198
[42] IFSys: An integrated framework for system-level synthesis
Deang, J
McNally, G
Siewiorek, D
IEEE COMPUTER SOCIETY WORKSHOP ON VLSI '98 - SYSTEM LEVEL DESIGN, PROCEEDINGS, 1998, : 5 - 10
[43] CMOST: A System-Level FPGA Compilation Framework
Zhang, Peng
Huang, Muhuan
Xiao, Bingjun
Huang, Hui
Cong, Jason
2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
[44] A Framework for System-level Health Data Sharing
Azarm, Mana
Kuziemsky, Craig
Peyton, Liam
PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 5: HEALTHINF, 2020, : 514 - 521
[45] A System-Level Simulation Framework for UWB Localization
Kuhn, Michael J.
Mahfouz, Mohamed R.
Zhang, Cemin
Merkl, Brandon C.
Fathy, Aly E.
IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES, 2010, 58 (12) : 3527 - 3537
[46] A STATE BASED FRAMEWORK FOR EFFICIENT SYSTEM-LEVEL POWER ESTIMATION OF OF CUSTUM RECONFIGURABLE CORES
Ahmadinia, Ali
Ahmad, Balal
Arslan, Tughrul
2008 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2008, : 163 - 166
[47] Towards an efficient multidisciplinary system-level framework for designing and modeling complex engineered microsystems
Clark, J. V.
Zeng, Yi
Jha, Pankaj
NSTI NANOTECH 2008, VOL 3, TECHNICAL PROCEEDINGS: MICROSYSTEMS, PHOTONICS, SENSORS, FLUIDICS, MODELING, AND SIMULATION, 2008, : 509 - +
[48] A system-level perspective for efficient NoC design
Kumar, Amit
Agarwal, Niket
Peh, Li-Shiuan
Jha, Niraj K.
2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 2590 - 2594
[49] Observer-based verification using introspection - A system-level verification implementation
Metzger, M.
Bastien, F.
Rousseau, F.
Vachon, J.
Aboulhamid, E. M.
ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS, 2007, : 209 - +
[50] Efficient Differencing of System-level Provenance Graphs
Nakamura, Yuta
Kanj, Iyad
Malik, Tanu
PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023, 2023, : 4220 - 4223

← 1 2 3 4 5 →