多项式符号代数相关论文
随着集成电路工艺水平不断提高，芯片的集成度也日益增长，设计复杂度随着电路复杂度的增长也在提高。因此现在半导体技术中测试变得越......
介绍EDA领域中的一个重要方向高级综合最近十年的进展情况,并对以前的工作做了简单的回顾.对各个有代表性的算法进行了描述,并且对......
提出了一种基于PSA（多项式符号代数）的高级测试综合方法。首先得到基于多项式符号代数的电路描述，然后通过可测性插入技术，得到电路的......
提出了基于多项式符号代数的高级综合方法,并使用元件库中的元件构建多项式符号代数所表示的数据通路,计算出其Grbner基.利用Gr......
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路，但却难以满足高层次设计验证要求．由此，以多项式符号代数为理论基础......
针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电......
随着集成电路工艺水平不断提高，芯片的集成度日益增长，对集成电路设计提出了巨大挑战，加速了设计方法和设计工具的更新换代。高级综合......
随着数字集成电路设计规模的增大和功能复杂性的提高,功能验证已经成为设计流程中的瓶颈。传统的模拟验证方法无法满足现时复杂集......
当今微电子学技术的发展，使得含有数千万元件的集成电路已经能够大批量地生产出来，真正的SoC(System on a Chip)正在成为现实。集成......
