分级验证论文

微处理器的分级模型检验验证研究
论文摘要验证(Verification)是当今集成电路计算机辅助设计(ICCAD)领域的一个重要且困难的问题。传统的基于二叉决策图(BDD)的模型检验(ModelCheckin...