sdf反标之RETAIN信息
RETAIN TIME指的是从输入变化后开始计算,输出保持的时间。过了RETAIN TIME后,输出会出现一段X态,直到最终稳定。网表的sdf文件里面会标注路径的RETAIN信息,比如一个两输入的与门:
and u(qout, d1, d2);
specify(d1 => qout) = (10);(d2 => qout) = (10);
endspecify
它的sdf反标信息如下:
(IOPATH d1 qout (RETAIN (5)) (10) )
(IOPATH d2 qout (15) )
在vcs仿真器中,我们可以通过编译参数来控制这一行为。
- 正常仿真时,其波形如下:
- 编译选项加入-sdfretain后,RETAIN信息就会在波形上体现出来:
- 编译选项加入-sdfretain -xlrm alt_retain后,那些不会让输出发生变化的RETAIN信息和X态(红圈处)就不会体现了。vcs中称这一模式为optimistic mode,因为减少了仿真事件的调度,所以会对仿真速度有一定的优化:
PS1.这部分感觉vcs手册中也说的不是很清楚,后面如果有空,再跑仿真确认下。下面是截取的一段手册说明:
Currently, when you use the -sdfretain option, SDF retain is visible whenever there is a change in related inputs.
When you specify the -sdfretain option with -xlrm alt_retain, SDF retain is visible only when there is a change in the output. This new behavior is called optimistic mode.
PS2.选项中的alt应该就是选择的意思,让vcs自己决定哪些不需要的信息可以被优化。
sdf反标之RETAIN信息相关推荐
- [VCS]数字电路门级仿真及SDF反标
数字电路门级仿真及SDF反标 一.概述 从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功 ...
- 门级仿真经验(SDF反标及其工作原理)
门级仿真经验(SDF反标及其工作原理) Standard Cell的仿真模型:首先我们先看一个stand cell的仿真模型 一般情况下,仿真模型包括两个部分,一个部分是功能部分也就是这个standc ...
- IC后仿与sdf反标
一.基本SDF信息 SDF(Standard Delay Format)标准延迟格式,用来描述时序信息和约束,为网表仿真提供时序信息.SDF中的时序信息主要由以下组成:iopath delay.int ...
- SDF反标为什么没有数值或者与mtm值不一致
SDF文件描述延迟的内容由一系列用逗号分隔的三元组triplets组成. 这些三元组表示最小延迟.典型延迟和最大延迟.如果未在VCS命令行中指定默认值,则为"Typical". 由 ...
- 后仿真如何反标SDF文件
从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功能部分由逻辑,udp元件或gate构成, ...
- VCS使用SDF文件进行后仿反标
概述 从概念上来说,数字验证包含两方面的内容,一个是验证功能,另一个是验证时序.对应的仿真模型(不论是model,standard cell等)也不外乎这两个部分,功能部分由逻辑,udp元件或gate ...
- VCS门级仿真系列文章之sdf文件和$sdf_annotate反标
SDF文件(Standard Delay File)提供了延迟信息表示的标准ASCII文件格式,VCS支持版本1.0.1.1.2.0.2.1和3.0. 在SDF格式中可以指定固有延迟(intrinsi ...
- Allegro中元器件位号重排并反标回原理图
本博文展示的操作基于Cadence 17.4,更早的版本基本操作应是一样的,细节会略有不同,注意照葫芦画瓢. 1. 为什么PCB要位号重排 PCB位号重排的主要目的是方便在电路板调试时查找元器件,重排 ...
- Allegro原理图反标教程
Allegro原理图反标教程 Logic→Auto Rename Refdes→Rename 点击More进行详细设置 按照下图设置 点击Rename 打开刚刚rename时生成的rename.log ...
最新文章
- Attention Model(注意力模型)思想初探
- mysql key value 排序_MySQL利用索引优化ORDER BY排序语句的方法
- java新建测试程序_java – 如何创建一个CloseableHttpResponse对象来帮助测试?
- python 爬取直播弹幕视频_python爬取斗鱼B总直播弹幕
- kvm cobbler无人值守批量安装操作系统
- Maven打包时报Failed to execute goal org.apache.maven.plugins:maven-war-plugin:解决方案
- 1048. Longest String Chain
- javascript console 函数详解 js开发调试的利器 浏览:3201|更新:2014-05-30 09:27
- Chalubo僵尸网络来袭 IOT设备或将受到DDoS攻击
- Sql 2005 中比较两个数据库差异
- 移动端 H5图片裁剪插件,内置简单手势操作
- 自动化运维工具(光纤交换机接口功率监控)
- 【GlobalMapper精品教程】009:DSM过滤植被和房屋并生成等高线案例教程
- 20考研率辉计算机复试(二分法)
- 京东:亦庄CBD里,南五环“村民”的生活哲学
- Linux下CAN总线通信调试记录
- 解决安卓11崩溃率高的问题
- Dubbo分布式事务处理--视频教程
- 21年1.9c#halcon机器视觉软件系统框架源码visi onpro
- 2021年G1工业锅炉司炉证考试及G1工业锅炉司炉模拟考试题
热门文章
- 【算法题】1638. 统计只差一个字符的子串数目
- 对比aspx和html
- CSS: scroll-behavior: smooth;让页面平滑滚动
- 操作系统④-①:进程的状态(并发并行的区别,挂起状态)、进程的控制结构(PCB)、进程的控制(四种)、进程上下文切换(过程及场景))
- MAC地址规则及算法介绍
- mPEG-FA 甲氧基PEGys
- 轨道运营管理专业自荐书_城市轨道运营管理专业求职信(完整版)
- 20200325听428学长讲座
- error C2440: ’static_cast’ : cannot convert from ‘UINT (__thiscall CStaticLink::* )(CPoint)’ to ‘LRE
- 听自己喜欢的文章-【睿读】