等价性检验论文

基于有限环上多项式的数字电路形式验证方法
论文摘要随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期的一半以上。传统的基于模拟的验证方法不但需要...
逻辑电路的等价性检验方法研究
论文题目:逻辑电路的等价性检验方法研究论文类型:博士论文论文专业:计算机系统结构作者:李光辉导师:李晓维关键词:集成电路,形式验证,等价性检验,错误诊断,布尔推理文献来源:中国...