等价验证相关论文
等价验证是自动验证领域的主流方法之一，另一个主流方法是模型检测。等价验证研究的重点是互模拟等价验证。互模拟等价验证起始于上......
指出了电子设备冷却装置软件测试的重要性,分析了冷却装置软件测试的现状。从等价验证和测试方法两个方面,对电子设备冷却装置软件......
虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数......
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路，但却难以满足高层次设计验证要求．由此，以多项式符号代数为理论基础......
提出了一种基于SAT问题的组合电路等价验证算法,该算法特别适用于验证有着一定相似部分的两个电路.其主要创新之处为:1)基于层划分......
随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集......
随着半导体工艺突飞猛进的发展,集成电路(integrated circuit, IC)设计的复杂度呈指数增长,对IC设计起决定性作用的电子设计自动化......
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证，提出了一个有序的、简化的和正则的带权值广义......
