模型校验后的仿真策略:工业SOC设计经验

Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786) Pub Date : 2000-11-08 DOI:10.1109/HLDVT.2000.889563

Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee

{"title":"模型校验后的仿真策略:工业SOC设计经验","authors":"Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee","doi":"10.1109/HLDVT.2000.889563","DOIUrl":null,"url":null,"abstract":"There have been many works reporting the success of model checking in finding the bugs that are not detected by the simulation. On the contrary, in this paper, we show the bugs that can escape from the model checking, and present the simulation strategy and speed up techniques to detect those bugs. The main focus of this paper is to show clearly the importance and the role of a simulation as a complement to the model checking.","PeriodicalId":113229,"journal":{"name":"Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2000-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Simulation strategy after model checking: experience in industrial SOC design\",\"authors\":\"Hoon Choi, Byeong-Whee Yun, Yun-Tae Lee\",\"doi\":\"10.1109/HLDVT.2000.889563\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"There have been many works reporting the success of model checking in finding the bugs that are not detected by the simulation. On the contrary, in this paper, we show the bugs that can escape from the model checking, and present the simulation strategy and speed up techniques to detect those bugs. The main focus of this paper is to show clearly the importance and the role of a simulation as a complement to the model checking.\",\"PeriodicalId\":113229,\"journal\":{\"name\":\"Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2000-11-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HLDVT.2000.889563\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HLDVT.2000.889563","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

已经有许多工作报告了模型检入的成功，发现了模拟没有检测到的错误。相反，在本文中，我们展示了可以逃避模型检查的错误，并提出了仿真策略和加速技术来检测这些错误。本文的主要重点是清楚地表明仿真作为模型检查的补充的重要性和作用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Simulation strategy after model checking: experience in industrial SOC design

There have been many works reporting the success of model checking in finding the bugs that are not detected by the simulation. On the contrary, in this paper, we show the bugs that can escape from the model checking, and present the simulation strategy and speed up techniques to detect those bugs. The main focus of this paper is to show clearly the importance and the role of a simulation as a complement to the model checking.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786)

自引率

0.00%

发文量