定制SRAM+单元的ESP+验证.pdf

2008年伞围高性能计算学术年会 定制SRAM单元的ESP验证 田新华丁鹤然 (江南计算技术研究所无锡214083) 摘要：ESP 制电路单元能否实现其预期的设计功能成为系统 CV“是Synopsys开发的一种基于符 号模拟技术的形式验证工具，可在定制电路和它 验证1一作的重要组成部分。、定制SRAM单元根掂 的行为级(或RTL级)描述之间进行等价性检其控制方式以及实现的读写端口数可分为很多 验，并提供多项验证覆盖率指标”】来对验证情况 种，它们是搭建SoC芯片中存储结构的基本电路 进行评估。，本文首先介绍了ESP验证的基本原理 模块，在芯片中被大量使用，凶此需对其进行非 和工作流程，然后以我们定制设计的SRAM单元 常严格的功能验证。ESP验证结合了模拟验证与 为例，详细阐述了对定制SRAM单元进行ESP 形式验证的方法，通过构造Testbench，同时向电 验证的流程和方法， 路设计的参考模型(即电路设计的RTL描述)和 关键词：定制SRAM单元ESP验证符号模拟晶体管级模型提供相同的符号输入激励，用符号 等价性检验 参考模型 晶体管级模型 模拟引擎…分别列这两个模型进行模拟，并对产 生的符号化输出进行比较来检查两者的等价性。 ESPVerificationForCustomSRAM }如于ESP能用形式验证方法比较两个模型经模拟 CircuitCell 输m结果的等价性，验证覆盖率很容易达到完全 TIANXin—HuaDINGHe—Ran 覆盖，故能满足对定制SRAM单元严苛的功能验 Instituteof 证要求。 (Jiangnan ComputingTechnology，Wuxi， 214083) Abstract：ESP—CV吵which 2 ESP—CV的基本原理与工作流程 developedby a simulation—based Syaopsys，issymbolic tbrmality verificationtoolintendedto Iuncdonal— 如图1，ESP～CV列定制电路单元进行等价性 perlorm and functional(EQ)检查的T作流程有以下几个步骤： equivalencecheckingprovide verification forthll—custolnIC (1)获取定制电路参考模型和晶体管级模型 coverage design betweenitstransistor—levelmodelandRTLmodel H}言描述 定制电路的参考模型就是由verilog This introducedthelundamentaland 的电路的RTL代码；与参考模型对应的晶体管级 paper verificationflowofESP thentheESP firstly,and 模型的获取有两种方式：一种是标准verilog晶体 verificationmethodandflowofourfull—custonl 管级建模方式(简称为非CKT方式)；另一种是 SRAMcellwasdemonstrat