多项式符号代数论文

基于多项式符号代数的数字电路形式验证方法研究
论文摘要随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集成电路设计带来的巨大的验证需求。形式验证技术,例...
基于吴方法的高层次模型检验方法研究
论文摘要随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设计带来的巨大的验证需求。基于此,形式验证方...
基于多项式符号代数的高级测试综合研究
论文摘要随着集成电路工艺水平不断提高，芯片的集成度也日益增长，设计复杂度随着电路复杂度的增长也在提高。因此现在半导体技术中测试变得越来越重要。而且在高层次设计中就应该考虑测试。...