VCS学习 后仿 Fast Gate-level verification

Posted huanm

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了VCS学习 后仿 Fast Gate-level verification相关的知识,希望对你有一定的参考价值。

 对综合产生的门级网表(Gate-level)进行编译仿真

一:什么是后仿

  前仿不包括时序信息,即当作理想的器件看待,仅仅验证代码的功能;后仿,在有时序信息,有延迟情况下(器件自身的延迟,传输线上的延时等,与工艺器件有关)的仿真;后仿主要关注Toggle覆盖率,因为门级网表里面没有RTL级代码,没有if,case等,都是与或非门等。

  RTL级通过DC综合得到门级网表,布局布线得到门级网表,将两个门级网表加起来才是真正的网表文件;在本文中,我们只关注DC吐出来的网表以说明后仿。

  +rad可以对仿真进行优化。

  DC后不仅生成门级网表(也是.v文件),还产生.sdf文件(standard delay format,记录单元的时序的信息)。

二:后仿流程

  技术分享图片

 

以上是关于VCS学习 后仿 Fast Gate-level verification的主要内容,如果未能解决你的问题,请参考以下文章

1.VCS仿真基础

数字asic流程实验(EX)VCS+Verdi前仿真&后仿真

后仿 ---- 转载

用VerilogHDL设计一个与门逻辑,并进行前仿和后仿

Synopsys VCS 学习笔记

VCS学习-Code Coverage