等价性检查论文

数字电路后端的形式验证方法研究及应用
论文摘要随着集成电路设计领域的发展,芯片集成度越来越高,功能越来越强大,验证的地位也越来越高。其中形式验证中的等价性检查贯穿于整个后端设计流程之中。有代码与综合后网表之间的验证...