带黑盒组合电路的等价性验证
100 积分
50
评分
4.7 积分- 详情
- 2021-04-28
- 简介
pdf
- 192KB
- 页数 4P
- 阅读 59
- 下载 29
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
带黑盒组合电路的等价性验证 192KB
光导探测器阵列分时供电电路的实验验证 312KB
时风保险盒电路 138KB
一种嵌入Bicmos带隙电路的过温保护电路 724KB
对讲机收发芯片数字模块可测性设计及接口电路的验证研究 5KB
第20章习题2-门电路和组合逻辑电路 693KB
第七章门电路和组合逻辑电路 12.0MB
第二章单元测试--黑盒测试用例设计(等价类划分法) 2.2MB
日光灯电路功率因数提高的研究与验证 1.3MB