Case study of ATPG-based bounded model checking: Verifying USB2.0 IP core

被引：1

作者：

Qiang, Q ^{[1
]}

Chang, CL ^{[1
]}

Saab, DG ^{[1
]}

Abraham, JA ^{[1
]}

机构：

[1] Case Western Reserve Univ, Cleveland, OH 44106 USA

来源：

2005 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/ICCD.2005.36

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents the ATPG performances of verifying USB2.0 IP core. Using the USB protocol and typical properties, the ATPG-based bounded model checking mechanism is revealed. Heuristics to accelerate the ATPG search are presented and their impacts are analyzed. We feel that results from this case study are applicable to serial communication circuits of the same family and can be scaled to industrial-sized circuits.

引用

页码：461 / 463

页数：3

共 23 条

[21] Deformation and damage behavior of the deep concrete cut-off wall in core earth-rock dam foundation based on plastic damage model- A case study
Guan, Zhixuan
Sun, Xinjian
Zhang, Guangli
Li, Guochao
Huang, Peijie
Zhang, Baoyun
Wang, Jiwei
Zhou, Xinjie
STRUCTURES, 2022, 46 : 1480 - 1494
[22] Simulating Urban Cooperative Expansion in a Single-Core Metropolitan Region Based on Improved CA Model Integrated Information Flow: Case Study of Wuhan Urban Agglomeration in China
Li, He
Liu, Yaolin
He, Qingsong
Peng, Xie
Yin, Chaohui
JOURNAL OF URBAN PLANNING AND DEVELOPMENT, 2018, 144 (02)
[23] Analysis of water resource ecological optimization and obstacles based on the water resources - socio - economic - ecological environment model framework - a case study of the core area of the Central Plains urban agglomeration
Li, Jinhang
Zhao, Mengdie
Han, Yuping
Wei, Jinhai
FRONTIERS IN ECOLOGY AND EVOLUTION, 2023, 11

← 1 2 3 →