论文部分内容阅读
ESP-CV是Synopsys 开发的一种基于符号模拟技术的形式验证工具,可在定制电路和它的行为级描述之间进行等价性检验,并提供多项验证覆盖率指标来对验证情况进行评估。本文首先介绍了ESP验证的基本原理和工作流程,然后以定制设计的SRAM单元为例,详细阐述了对定制SRAM单元进行ESP验证的流程和方法。