有限模型验证论文

满足性算法在形式化验证中的应用研究及实现
论文摘要随着超大规模集成电路复杂度的增加和规模的逐渐变大，验证电路的功能等价已经变得越来越重要。传统上，功能验证主要是通过模拟和测试技术实现。这些方法随着设计复杂度的增加，将很...