定制SRAM 单元的ESP 验证

摘要

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