发布求助
文献互助 智能选刊 最新文献

Design Automation and Microprocessors最新文献

筛选
英文 中文
Verification of hardware designs thru symbolic manipulation 通过符号操作验证硬件设计
Design Automation and Microprocessors Pub Date : 1977-02-24 DOI: 10.5555/800190.805501
Todd J. Wagner
{"title":"Verification of hardware designs thru symbolic manipulation","authors":"Todd J. Wagner","doi":"10.5555/800190.805501","DOIUrl":"https://doi.org/10.5555/800190.805501","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.0,"publicationDate":"1977-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128069708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Modeling for synthesis - the gap between intent and behavior 为综合建模——意图和行为之间的差距
Design Automation and Microprocessors Pub Date : 1977-02-24 DOI: 10.5555/800190.805502
G. Estrin
{"title":"Modeling for synthesis - the gap between intent and behavior","authors":"G. Estrin","doi":"10.5555/800190.805502","DOIUrl":"https://doi.org/10.5555/800190.805502","url":null,"abstract":"Aside from the continuing critical inputs of UCLA faculty and students SARA has been affected by [CLE74]; the work of the MIT Information Structures Group, Carnegie-Mellon studies, the Case-Western Reserve LOGOS project, Petri Net studies, the growing literature on structured programming and work on program verification. The body of this paper presents the highlights of our synthesis methodology, the set of primitives used by modeling tools in SARA and a fast look at the design procedure proposed to support the methodology.","PeriodicalId":251568,"journal":{"name":"Design Automation and Microprocessors","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1977-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129691086","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信