中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Evaluating and Constraining Hardware Assertions with Absent Scenarios

文献类型：期刊论文

作者Chao, Hui-Na1,2; Li, Hua-Wei1,2,3; Song, Xiaoyu4; Wang, Tian-Cheng1,2; Li, Xiao-Wei1,2
刊名JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY
出版日期2020-10-01
卷号35期号:5页码:1198-1216
关键词hardware formal verification assertion generation data mining assertion evaluation assertion coverage
ISSN号1000-9000
DOI10.1007/s11390-020-9708-x
英文摘要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.
资助项目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记录号WOS:000586146300013
出版者SCIENCE PRESS
源URL[http://119.78.100.204/handle/2XEOYT63/15981]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者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.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。