Evaluating and Constraining Hardware Assertions with Absent Scenarios

doi:10.1007/s11390-020-9708-x

	Evaluating and Constraining Hardware Assertions with Absent Scenarios
	Chao, Hui-Na 1,2; Li, Hua-Wei 1,2,3; Song, Xiaoyu 4; Wang, Tian-Cheng 1,2; Li, Xiao-Wei 1,2
	2020-10-01
发表期刊	JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
ISSN	1000-9000
卷号	35 期号:5 页码:1198-1216
摘要	Mining from simulation data of the golden model in hardware design verification is an effective solution to assertion generation. While the simulation data is inherently incomplete, it is necessary to evaluate the truth values of the mined assertions. This paper presents an approach to evaluating and constraining hardware assertions with absent scenarios. A Belief-failRate metric is proposed to predict the truth/falseness of generated assertions. By considering both the occurrences of free variable assignments and the conflicts of absent scenarios, we use the metric to sort true assertions in higher ranking and false assertions in lower ranking. Our Belief-failRate guided assertion constraining method leverages the quality of generated assertions. The experimental results show that the Belief-failRate framework performs better than the existing methods. In addition, the assertion evaluating and constraining procedure can find more assertions that cover new design functionality in comparison with the previous methods.
关键词	hardware formal verification assertion generation data mining assertion evaluation assertion coverage
DOI	10.1007/s11390-020-9708-x
收录类别	SCI
语种	英语
资助项目	National Natural Science Foundation of China[61876173] ; National Natural Science Foundation of China[61432017] ; National Natural Science Foundation of China[61532017]
WOS研究方向	Computer Science
WOS类目	Computer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS记录号	WOS:000586146300013
出版者	SCIENCE PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/15982
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Li, Hua-Wei
作者单位	1.Chinese Acad Sci, Inst Comp Technol, State Key Lab Comp Architecture, Beijing 100190, Peoples R China 2.Univ Chinese Acad Sci, Beijing 100049, Peoples R China 3.Peng Cheng Lab, Shenzhen 518052, Peoples R China 4.Portland State Univ, Dept Elect & Comp Engn, Portland, OR 97207 USA
推荐引用方式 GB/T 7714	Chao, Hui-Na,Li, Hua-Wei,Song, Xiaoyu,et al. Evaluating and Constraining Hardware Assertions with Absent Scenarios[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2020,35(5):1198-1216.
APA	Chao, Hui-Na,Li, Hua-Wei,Song, Xiaoyu,Wang, Tian-Cheng,&Li, Xiao-Wei.(2020).Evaluating and Constraining Hardware Assertions with Absent Scenarios.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,35(5),1198-1216.
MLA	Chao, Hui-Na,et al."Evaluating and Constraining Hardware Assertions with Absent Scenarios".JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 35.5(2020):1198-1216.