可满足问题简化论文

组合电路等价验证预处理算法研究
论文摘要随着大型集成电路设计和SOC芯片设计的不断进步,电路的规模,硬件的复杂度不断增大。今天,70%的设计时间是花费在验证错综复杂的系统上,传统的验证方法已经不能完全满足现今...