资料下载
×
带黑盒组合电路的等价性验证
消耗积分:3 |
格式:rar |
大小:207 |
2010-07-30
张龙祥
分享资料个
为了在早期阶段发现电路设计错误，需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种“分而治之”的方法，把电路划分成若干子电路，使用四值逻辑模拟技术对电路未知部分进行量化，然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力，通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
