通过符号操作验证硬件设计

Design Automation and Microprocessors Pub Date : 1977-02-24 DOI:10.5555/800190.805501

Todd J. Wagner

{"title":"通过符号操作验证硬件设计","authors":"Todd J. Wagner","doi":"10.5555/800190.805501","DOIUrl":null,"url":null,"abstract":"This paper describes a method for detecting errors in hardware designs based on algebraic manipulation. The behavior of a hardware system is specified using a non-procedural register transfer language. Similar specifications are provided for each component in the circuit. Using the techniques discussed here it should be possible to determine if the device will function correctly. The problem of detecting races and hazards in this framework is also addressed.","PeriodicalId":251568,"journal":{"name":"Design Automation and Microprocessors","volume":"2019 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1977-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Verification of hardware designs thru symbolic manipulation\",\"authors\":\"Todd J. Wagner\",\"doi\":\"10.5555/800190.805501\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes a method for detecting errors in hardware designs based on algebraic manipulation. The behavior of a hardware system is specified using a non-procedural register transfer language. Similar specifications are provided for each component in the circuit. Using the techniques discussed here it should be possible to determine if the device will function correctly. The problem of detecting races and hazards in this framework is also addressed.\",\"PeriodicalId\":251568,\"journal\":{\"name\":\"Design Automation and Microprocessors\",\"volume\":\"2019 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1977-02-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Design Automation and Microprocessors\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5555/800190.805501\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Design Automation and Microprocessors","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5555/800190.805501","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

提出了一种基于代数处理的硬件设计误差检测方法。硬件系统的行为是用一种非过程性的寄存器转移语言来指定的。电路中的每个元件都提供了类似的规格。使用这里讨论的技术，应该可以确定设备是否将正常工作。在此框架中还解决了检测赛跑和危险的问题。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Verification of hardware designs thru symbolic manipulation

This paper describes a method for detecting errors in hardware designs based on algebraic manipulation. The behavior of a hardware system is specified using a non-procedural register transfer language. Similar specifications are provided for each component in the circuit. Using the techniques discussed here it should be possible to determine if the device will function correctly. The problem of detecting races and hazards in this framework is also addressed.

求助全文

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