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

2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)最新文献

筛选
英文 中文
PolyAdd: Polynomial Formal Verification of Adder Circuits 加法器电路的多项式形式验证
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) Pub Date : 2020-09-07 DOI: 10.1109/DDECS52668.2021.9417052
R. Drechsler
{"title":"PolyAdd: Polynomial Formal Verification of Adder Circuits","authors":"R. Drechsler","doi":"10.1109/DDECS52668.2021.9417052","DOIUrl":"https://doi.org/10.1109/DDECS52668.2021.9417052","url":null,"abstract":"Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail. In general no efficient algorithms can be given, since the underlying verification problem is NP-complete. In this paper we prove that for different types of adder circuits polynomial verification can be ensured based on BDDs. While it is known that the output functions for addition are polynomially bounded, we show in the following that the entire construction process can be carried out in polynomial time. This is shown for the simple Ripple Carry Adder, but also for fast adders like the Conditional Sum Adder and the Carry Look Ahead Adder. Properties about the adder function are proven and the core principle of polynomial verification is described that can also be extended to other classes of functions and circuit realizations.","PeriodicalId":415808,"journal":{"name":"2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130988057","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}
引用次数: 32
[DDECS 2021 Copyright notice] [DDECS 2021版权声明]
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) Pub Date : 1900-01-01 DOI: 10.1109/ddecs52668.2021.9417055
{"title":"[DDECS 2021 Copyright notice]","authors":"","doi":"10.1109/ddecs52668.2021.9417055","DOIUrl":"https://doi.org/10.1109/ddecs52668.2021.9417055","url":null,"abstract":"","PeriodicalId":415808,"journal":{"name":"2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"320 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115869990","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}
引用次数: 0
DDECS 2021 Organizing Committee DDECS 2021组委会
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) Pub Date : 1900-01-01 DOI: 10.1109/ddecs52668.2021.9417067
{"title":"DDECS 2021 Organizing Committee","authors":"","doi":"10.1109/ddecs52668.2021.9417067","DOIUrl":"https://doi.org/10.1109/ddecs52668.2021.9417067","url":null,"abstract":"","PeriodicalId":415808,"journal":{"name":"2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123925071","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}
引用次数: 0
[DDECS 2021 Front cover] [DDECS 2021封面]
2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) Pub Date : 1900-01-01 DOI: 10.1109/ddecs52668.2021.9417049
{"title":"[DDECS 2021 Front cover]","authors":"","doi":"10.1109/ddecs52668.2021.9417049","DOIUrl":"https://doi.org/10.1109/ddecs52668.2021.9417049","url":null,"abstract":"","PeriodicalId":415808,"journal":{"name":"2021 24th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132294386","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}
引用次数: 0
首页 上一页
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学术官方微信