电路可满足性相关论文
随着集成电路技术和制造技术不断进步,电路的规模也不断增大,电路验证领域面临着前所未有的挑战。传统的基于模拟的验证方法不能满足......
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验......