为了在早期阶段发现电路设计错误,需要对包含未知部分的实现电路和规范电路进行等价性验证。本文提出了一种"分而治之"的方法,把电路划分成若干子电路,使用四值逻辑模拟技术对电路未知部分进行量化,然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力,通过在ISCAS’85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
热门知识
固蜡(黑盒)-
话题： 工程造价ggghhhh2111
-
话题： 工程造价liupan123456
精华知识
固蜡(黑盒)-
话题： 工程造价lanse75jx@
-
话题： 工程造价152****7616
最新知识
固蜡(黑盒)-
话题： 室内设计leilei8657
-
话题： 地产家居zhouliang408
固蜡(黑盒)相关专题
- 3m水晶固蜡
- 999固蜡
- 车仆固蜡
- 车仆高级固蜡
- 999高级固蜡
- 汽车固蜡
- 固蜡厂家
- 水晶固蜡
- 固蜡和液蜡的区别
- 车仆999高级固蜡
- 基于压电堆驱动器的喷嘴挡板式气体控制阀
- 电气工程及其自动化特色专业建设探索
- 分形DGS单元结构设计及其在微带电路中的应用
- 磷铵技术改造五大磷肥工程的建议
- 以大豆油多元醇制备的硬质聚氨酯泡沫塑料的性能
- 逆变TIG焊机接触引弧电路的设计(引弧电路)
- 预制砌块(砖、石)挡土墙工程砌体施工安全技术交底
- 应用模糊数学理论对公路工程建设项目方案的综合评价
- 引嫩工程扩建区土壤水盐动态与防治土壤盐碱措施
- 中华华丹雨、污水管道沟槽开挖专项施工方案教学教材
- 中国工程图学学会成立工程与制造系统集成化分会
- 中国吹制玻璃行业市场前景分析预测年度报告(目录)
- 可替代现有隔热保温材料的新型材料
- 医院病房楼工程施工装饰装修工程施工控制
- 在生活中构筑自然——河南天旺园林工程有限公司剪影
- 中国机械工程学会授予材料热处理工程师资格人员名单
- 中国电力井盖行业市场前景分析预测年度报告(目录)