带黑盒组合电路的等价性验证

带黑盒组合电路的等价性验证

56 4.7
29 2021-04-28
pdf | 192KB | 4页
正文 简介
为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
*温馨提示:该数据为用户自主上传分享,如有侵权请举报或联系客服:400-823-1298处理。
zghs***
zghs***
服务: 4.6
数据量: 6
人气: 223
擅长:土建 给排水 暖通

您可能感兴趣

原价: 100 积分
立即购买