IC后仿与sdf反标

一、基本SDF信息

SDF（Standard Delay Format）标准延迟格式，用来描述时序信息和约束，为网表仿真提供时序信息。SDF中的时序信息主要由以下组成：iopath delay、interconnect delay、setup和hold。

1）IOPATH Delay：Cell单元延迟信息，输入输出转换延迟时间，如下所示：

上升沿延迟(0.249::0.273)，其中0.249为MIN最小延迟，0.273为MAX最大延迟；无typical delay信息。

下降沿延迟(0.273::0.300), 其中0.273为MIN最小延迟，0.300为MAX最大延迟；无typical delay信息。

2）INTERCONNECT Delay：基于路径的点到点的延迟，包括驱动门和被驱动门间的RC延迟。它指定了从驱动单元的输出引脚到被驱动单元的输入引脚的连线延迟。

3）WIDTH \ SETUP \ HOLD: 信号宽度检查、建立时间检查、保持时间检查。

二、SDF调用

1、tbench下调用sdf文件

$sdf_annotate("sdf_file"[, module_instance] [,"sdf_configfile"][,"sdf_logfile"][,"mtm_spec"][,"scale_factors"][,"scale_type"]);

参数介绍可以参考文章：

IC设计中的工艺角（Process Corner）

1）TT: Typical Typical

2）FF: Fast nmos Fast pmos ---- 测试hold check

3）SS: Slow nmos Slow pmos ---- 测试setup check

4）FS: Fast nmos Slow pmos

5）SF: Slow nmos Fast pmos

在一般的IC设计中，我们只对三种情形进行测试：FF（best case）、TT（typical case）、SS（worst case）。使用实例，如下所示：

initial begin`ifdef  BC_SDF $sdf_annotate("/home/Digital/sta/sdf/apple_func_bc_0912.sdf", u_apple , , "bc_sdf.log");`elsif TC_SDF$sdf_annotate("/home/Digital/sta/sdf/apple_func_tc_0912.sdf", u_apple , , "bc_sdf.log");`else$sdf_annotate("/home/Digital/sta/sdf/apple_func_wc_0912.sdf", u_apple , , "wc_sdf.log");`endifend

2、VCS工具调用参数：

+mindelays：采用最小延迟信息

+maxdelays：采用最大延迟信息

vcs需要添加的选项：

1) 测试 wc sdf + maxdelays:（0.400；；0.800）0.800代表最大延迟信息

+sdfverbose +neg_tchk -negdelay +maxdelays

测试时间充裕时，再测试：

wc sdf + mindelays:（+sdfverbose +neg_tchk -negdelay +mindelays）

2) 测试bc sdf + mindelays：（0.100；；0.200）0.100代表最小延迟信息

+sdfverbose +neg_tchk -negdelay +mindelays

测试时间充裕时，再测试：

bc sdf + maxdelays:（+sdfverbose +neg_tchk -negdelay +maxdelays）

3) 测试tc sdf + mindelays或者maxdelays：

apr给出的typical的sdf文件（0.300；；0.300）,可见，最大延迟=最小延迟=0.200；一般中间的参数没给生成。此时，不能不加mindelays或者maxdelays的参数，否则会造成反标失败。

+sdfverbose +neg_tchk -negdelay +mindelays

或者使用

+sdfverbose +neg_tchk -negdelay +maxdelays

IC后仿与sdf反标相关推荐

门级仿真经验（SDF反标及其工作原理）
门级仿真经验(SDF反标及其工作原理) Standard Cell的仿真模型:首先我们先看一个stand cell的仿真模型一般情况下,仿真模型包括两个部分,一个部分是功能部分也就是这个standc ...
[VCS]数字电路门级仿真及SDF反标
数字电路门级仿真及SDF反标一.概述从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功 ...
sdf反标之RETAIN信息
RETAIN TIME指的是从输入变化后开始计算,输出保持的时间.过了RETAIN TIME后,输出会出现一段X态,直到最终稳定.网表的sdf文件里面会标注路径的RETAIN信息,比如一个两输入的与门 ...
数字后仿，SDF文件
目录数字后仿步骤: 什么是SDF文件? 如何反标SDF文件? (1)作为elaboration的选项 (2)使用系统函数$sdf_annotate 数字后仿步骤: 1.用时序计算工具生成时序信息存储 ...
SDF反标为什么没有数值或者与mtm值不一致
SDF文件描述延迟的内容由一系列用逗号分隔的三元组triplets组成. 这些三元组表示最小延迟.典型延迟和最大延迟.如果未在VCS命令行中指定默认值,则为"Typical". 由 ...
VCS使用SDF文件进行后仿反标
概述从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功能部分由逻辑,udp元件或gate ...
后仿真如何反标SDF文件
从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功能部分由逻辑,udp元件或gate构成, ...
ASIC验证，关于后仿那些事
1. 什么是后仿? 后仿真也被称为时序仿真,或者门级仿真.当芯片在后端完成布局布线后,时序文件SDF文件,会被反标到网表文件上,那么此时针对带有时序信息的网表进行仿真,称为后仿真. 2. 后仿真有何用 ...
vcs后仿实现的总结
一,后仿平台的搭建 1,准备工作,这块主要包含一下几个的内容需要我们事先准备好: ①,后仿网表,后端提供后仿的网表指的是,在仿真时,我们不再使用最开始的rtl代码来进行仿真,而是使用将rtl转化为真 ...

IC后仿与sdf反标

IC后仿与sdf反标相关推荐

最新文章

热门文章