符号模拟论文

等价性检验中的逻辑调试技术研究
论文摘要正确性和有效性是集成电路设计验证的最大挑战，然而由于电路规模和复杂度的日益增加，逻辑设计的错误几乎不可避免，一旦验证工具发现电路设计存在错误，设计人员必须进行错误定位和...
满足性算法在形式化验证中的应用研究及实现
论文摘要随着超大规模集成电路复杂度的增加和规模的逐渐变大，验证电路的功能等价已经变得越来越重要。传统上，功能验证主要是通过模拟和测试技术实现。这些方法随着设计复杂度的增加，将很...