Abstraction-Guided Simulation Using Markov Analysis for Functional Verification

doi:10.1109/TCAD.2015.2419622

	Abstraction-Guided Simulation Using Markov Analysis for Functional Verification
	Wang, Jian 1,2; Li, Huawei 1; Lv, Tao 1; Wang, Tiancheng 1,2; Li, Xiaowei 1; Kundu, Sandip 3
	2016-02-01
发表期刊	IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
ISSN	0278-0070
卷号	35 期号:2 页码:285-297
摘要	This paper presents a novel abstraction-guided simulation approach for functional verification. The results of Markov analysis of the abstract model of the design under verification are used as the guidance of simulation on the concrete design. The results of the Markov analysis can offer the information about how hard it is to reach each abstract state from the initial state, and how hard it is to reach certain target states from each abstract state. Such information is able to guide the simulation in two aspects: 1) in exploring abstract state space and 2) in exercising target state. Assuming a good abstract model, experimental results show that the simulation using Markov analysis as guidance is highly efficient in both aspects.
关键词	Abstraction-guided simulation Markov analysis semi-formal verification
DOI	10.1109/TCAD.2015.2419622
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China[61432017] ; National Natural Science Foundation of China[61176040] ; National Natural Science Foundation of China[61221062] ; National Basic Research Program of China (973)[2011CB302501]
WOS研究方向	Computer Science ; Engineering
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Interdisciplinary Applications ; Engineering, Electrical & Electronic
WOS记录号	WOS:000370351000010
出版者	IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/8768
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Li, Huawei
作者单位	1.Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China 2.Univ Chinese Acad Sci, Beijing 100190, Peoples R China 3.Univ Massachusetts, Dept Elect & Comp Engn, Amherst, MA 01003 USA
推荐引用方式 GB/T 7714	Wang, Jian,Li, Huawei,Lv, Tao,et al. Abstraction-Guided Simulation Using Markov Analysis for Functional Verification[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,2016,35(2):285-297.
APA	Wang, Jian,Li, Huawei,Lv, Tao,Wang, Tiancheng,Li, Xiaowei,&Kundu, Sandip.(2016).Abstraction-Guided Simulation Using Markov Analysis for Functional Verification.IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS,35(2),285-297.
MLA	Wang, Jian,et al."Abstraction-Guided Simulation Using Markov Analysis for Functional Verification".IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS 35.2(2016):285-297.