定界模型检验论文

基于有限环上多项式的数字电路形式验证方法
论文摘要随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期的一半以上。传统的基于模拟的验证方法不但需要...