中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification

文献类型：期刊论文

作者Wang, Jian2,3; Li, Huawei3; Lv, Tao3; Wang, Tiancheng2,3; Li, Xiaowei3; Kundu, Sandip1
刊名IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
出版日期2016-02-01
卷号35期号:2页码:285-297
关键词Abstraction-guided simulation Markov analysis semi-formal verification
ISSN号0278-0070
DOI10.1109/TCAD.2015.2419622
英文摘要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.
资助项目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记录号WOS:000370351000010
出版者IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
源URL[http://119.78.100.204/handle/2XEOYT63/8767]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Li, Huawei
作者单位1.Univ Massachusetts, Dept Elect & Comp Engn, Amherst, MA 01003 USA
2.Univ Chinese Acad Sci, Beijing 100190, Peoples R China
3.Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China
推荐引用方式
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.

入库方式： OAI收割

来源：计算技术研究所

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

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