Verification of Circuits Including Black Box Based on TED

机译：基于TED的包括黑匣子在内的电路验证

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Correct verification is necessary at every design stage of a complex digital system. TED (Tayor Expansion Diagram) can be used not only to bit-level logical function but also to word-level arithmetic function. The method of equivalence checking based on TED is discussed in this paper,then a verifying algorithm for circuit including black box is proposed.Experimental results indicate that a lot of errors can be found at the early design stage using the algorithm in this paper.

机译：在复杂的数字系统的每个设计阶段，都必须进行正确的验证。 TED（泰勒扩展图）不仅可以用于位级逻辑功能，还可以用于字级算术功能。本文讨论了基于TED的等效检查方法，然后提出了一种包含黑匣子的电路验证算法。实验结果表明，该算法在设计初期可以发现很多错误。

著录项

来源
《2007 IEEE International Conference on Computer-Aided Degign and Computer Graphics》|2007年|561-564|共4页
会议地点 Beijing(CN)
作者
Philippe Knauth; rnMaria Luisa Di Vona;
展开▼
作者单位

Junhua Wu@College of Computer Science and technology,Harbin Engineering University;

College of Computer Science,Qufu Normal University--Guangshun Li@College of Computer Science and technology,Harbin Engineering University;

College of Computer Science,Qufu Normal University--Xinchuang Liu@College of Computer Science,Qufu Normal University--Guangsheng Ma@College of Computer Science and technology,Harbin Engineering University--;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类 TP391.42;
关键词

相似文献

外文文献
中文文献
专利

1. Black Box Model based Self Healing Solution for Stuck at Faults in Digital Circuits [J] . S. Meyyappan, V. Alamelumangai International Journal of Electrical and Computer Engineering . 2017,第5期

机译：基于黑匣子模型的自我修复解决方案，可解决数字电路故障
2. Timing Measurement Platform for Arbitrary Black-Box Circuits Based on Transition Probability [J] . Wong J.S.J., Cheung P.Y.K. IEEE transactions on very large scale integration (VLSI) systems . 2013,第12期

机译：基于转移概率的任意黑匣子电路时序测量平台
3. Stochastic Simulation of Integrated Circuits with Nonlinear Black-Box Components via Augmented Deterministic Equivalents [J] . MANFREDI P., STIEVANO I. S., CANAVERO F. G.. Advances in Electrical and Computer Engineering . 2014,第4期

机译：具有非线性确定性当量的带有非线性黑匣子组件的集成电路的随机模拟
4. Verification of Circuits Including Black Box Based on TED [C] . Wu Junhua, Li Guangshun, Liu Xinchuang, IEEE International Conference on Computer-Aided Design and Computer Graphics . 2007

机译：基于TED的黑匣子验证
5. Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification [D] . Hossain, Mousam 2019

机译：基于等效验证的异步睡眠会议逻辑电路的正式验证方法
6. Looking inside the black box: a theory-based process evaluation alongside a randomised controlled trial of printed educational materials (the Ontario printed educational message OPEM) to improve referral and prescribing practices in primary care in Ontario Canada [O] . Jeremy M Grimshaw, Merrick Zwarenstein, Jacqueline M Tetroe, 2007

机译：观察黑匣子：基于理论的过程评估以及印刷教育材料（安大略印刷教育信息OPEM）的随机对照试验以改善加拿大安大略省初级保健的转诊和开处方实践
7. Black Box Model based Self Healing Solution for Stuck at Faults in Digital Circuits [O] . S. Meyyappan, V. Alamelumangai 2017

机译：基于黑匣子模型的数字电路故障卡的自我愈合解决方案

Verification of Circuits Including Black Box Based on TED

摘要

著录项

相似文献

相关主题

期刊订阅