定制SRAM 单元的ESP 验证

摘要：

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

关键词： 电子稳定装置 晶体管级模型 符号模拟

作者: 田新华 丁鹤然

作者单位: 江南计算技术研究所 无锡 214083

会议类型: 国内会议

会议名称: 2008年全国高性能计算机学术年会

会议地点: 无锡

会议语种:中文

页码: 486

在线出版日期: 2008-10-30（万方平台首次上网日期，不代表论文的发表时间）