多项式符号代数相关论文
随着集成电路工艺水平不断提高，芯片的集成度也日益增长，设计复杂度随着电路复杂度的增长也在提高。因此现在半导体技术中测试变得越......
基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路，但却难以满足高层次设计验证要求．由此，以多项式符号代数为理论基础......
针对时序电路的等价性验证难题，提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电......
随着集成电路工艺水平不断提高，芯片的集成度日益增长，对集成电路设计提出了巨大挑战，加速了设计方法和设计工具的更新换代。高级综合......
当今微电子学技术的发展，使得含有数千万元件的集成电路已经能够大批量地生产出来，真正的SoC(System on a Chip)正在成为现实。集成......
