使用混合工具自动化参数化硬件的验证

ICM 2001 Proceedings. The 13th International Conference on Microelectronics. Pub Date : 1900-01-01 DOI:10.1109/ICM.2001.997659

P. Curzon, S. Tahar

{"title":"使用混合工具自动化参数化硬件的验证","authors":"P. Curzon, S. Tahar","doi":"10.1109/ICM.2001.997659","DOIUrl":null,"url":null,"abstract":"We outline how a hybrid formal hardware verification tool that links an interactive theorem prover and an automated hardware verification tool, can verify parameterized circuits containing replicated components. We show that the approach integrates well with the hierarchical proof approach embodied in the hybrid tool.","PeriodicalId":360389,"journal":{"name":"ICM 2001 Proceedings. The 13th International Conference on Microelectronics.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Automating the verification of parameterized hardware using a hybrid tool\",\"authors\":\"P. Curzon, S. Tahar\",\"doi\":\"10.1109/ICM.2001.997659\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We outline how a hybrid formal hardware verification tool that links an interactive theorem prover and an automated hardware verification tool, can verify parameterized circuits containing replicated components. We show that the approach integrates well with the hierarchical proof approach embodied in the hybrid tool.\",\"PeriodicalId\":360389,\"journal\":{\"name\":\"ICM 2001 Proceedings. The 13th International Conference on Microelectronics.\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ICM 2001 Proceedings. The 13th International Conference on Microelectronics.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICM.2001.997659\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ICM 2001 Proceedings. The 13th International Conference on Microelectronics.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICM.2001.997659","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们概述了如何将交互式定理证明器和自动硬件验证工具连接起来的混合形式硬件验证工具可以验证包含复制组件的参数化电路。我们证明了该方法与混合工具中体现的分层证明方法很好地集成在一起。

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

查看原文本刊更多论文

Automating the verification of parameterized hardware using a hybrid tool

We outline how a hybrid formal hardware verification tool that links an interactive theorem prover and an automated hardware verification tool, can verify parameterized circuits containing replicated components. We show that the approach integrates well with the hierarchical proof approach embodied in the hybrid tool.

求助全文

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

来源期刊

ICM 2001 Proceedings. The 13th International Conference on Microelectronics.

自引率

0.00%

发文量