等价验证相关论文
等价验证是自动验证领域的主流方法之一,另一个主流方法是模型检测。等价验证研究的重点是互模拟等价验证。互模拟等价验证起始于上......
模糊粗糙集模型是混合数据分析的重要模型之一,模糊等价关系的构造是基于模糊粗糙集模型的混合数据分析的关键。针对符号型属性和......
随着集成电路技术的飞速发展,电路的规模也不断增大.电路验证领域正面临前所未有的挑战,如何快速并且完备地完成超大规模集成电路......
本文对集成电路设计过程中逻辑综合中等价验证算法进行了研究。文章把组合电路等价验证中的切割法思想引入到结构固定点迭代算法中......
随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满......
指出了电子设备冷却装置软件测试的重要性,分析了冷却装置软件测试的现状。从等价验证和测试方法两个方面,对电子设备冷却装置软件......
提出了一种改进现有基于SAT的组合电路验证方法的新技术。主要创新在于提出了对CUVs的模拟蕴含学习方法.能快速地将许多间接的蕴含......
虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数......
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础......
提出了一种基于SAT问题的组合电路等价验证算法,该算法特别适用于验证有着一定相似部分的两个电路.其主要创新之处为:1)基于层划分......
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算......
随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集......
随着半导体工艺突飞猛进的发展,集成电路(integrated circuit, IC)设计的复杂度呈指数增长,对IC设计起决定性作用的电子设计自动化......
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证,提出了一个有序的、简化的和正则的带权值广义......