行为描述与RTL描述的等价性检验

Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) Pub Date : 2004-11-10 DOI:10.1109/HLDVT.2004.1431267

M. Fujita

{"title":"行为描述与RTL描述的等价性检验","authors":"M. Fujita","doi":"10.1109/HLDVT.2004.1431267","DOIUrl":null,"url":null,"abstract":"In this paper we present techniques for comparison between behavioral level and register transfer level (RTL) design descriptions by mapping the designs into virtual controllers and virtual datapaths. We also discuss about how the equivalence between behavioral level and RTL designs can be defined precisely using the proposed \"attribute statements\" in an interactive fashion. Implementation issues as well as considerations on real life industrial design examples are presented as well.","PeriodicalId":240214,"journal":{"name":"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","volume":"88 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"On equivalence checking between behavioral and RTL descriptions\",\"authors\":\"M. Fujita\",\"doi\":\"10.1109/HLDVT.2004.1431267\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we present techniques for comparison between behavioral level and register transfer level (RTL) design descriptions by mapping the designs into virtual controllers and virtual datapaths. We also discuss about how the equivalence between behavioral level and RTL designs can be defined precisely using the proposed \\\"attribute statements\\\" in an interactive fashion. Implementation issues as well as considerations on real life industrial design examples are presented as well.\",\"PeriodicalId\":240214,\"journal\":{\"name\":\"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)\",\"volume\":\"88 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HLDVT.2004.1431267\",\"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. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HLDVT.2004.1431267","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

在本文中，我们提出了通过将设计映射到虚拟控制器和虚拟数据路径来比较行为层和寄存器传输层(RTL)设计描述的技术。我们还讨论了如何使用建议的“属性语句”以交互方式精确定义行为层和RTL设计之间的等价性。实现问题以及对现实生活工业设计实例的考虑也被提出。

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

查看原文本刊更多论文

On equivalence checking between behavioral and RTL descriptions

In this paper we present techniques for comparison between behavioral level and register transfer level (RTL) design descriptions by mapping the designs into virtual controllers and virtual datapaths. We also discuss about how the equivalence between behavioral level and RTL designs can be defined precisely using the proposed "attribute statements" in an interactive fashion. Implementation issues as well as considerations on real life industrial design examples are presented as well.

求助全文

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

来源期刊

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

自引率

0.00%

发文量