ESP

基于符号仿真的定制设计形式等价性验证

ESP 是一种形式等价性验证工具,通常用于定制设计的整体功能验证,如嵌入式存储器、定制宏单元、标准单元和 I/O 单元库。

用于确保两种 设计呈现具有相同功能。  这些设计可以描述为行为 Verilog  模型、RTL、UDP、门或 SPICE 网表视图。

主要优点

  • 快捷而广泛的覆盖可以快速发现缺陷,成就更高质量
  • 通过设备模型仿真支持新设备技术并提高工作效率
  • 直接验证 SPICE 网表,无需门级抽取