公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

利用SMT约束分解方法求解RTL可满足性问题被引量：2: 2010年; 随着集成电路技术与工艺的不断发展,目前工业界所采用的形式验证工具已很难适应集成电路规模的飞速增长.为了对RTL电路的可满足性问题进行形式验证,提出基于超图划分的约束分解实现可满足性模理论(SMT)求解的分级验证方法.通过分析RTL电路的结构约束,对约束集合中的元素和相关变量进行约束建模,并构建带有合适权重的超图模型;利用超图划分的机制寻找带有最小割集的等量划分,实现约束分解,完成RTL电路的定界模型检验.实验结果表明,该方法能够减小处理问题的规模和求解过程中的搜索空间,提高验证效率.; 赵燕妮边计年邓澍军; 关键词：寄存器传输级

全选清除导出

共1页<1>

赵燕妮