Innovus/Encounter时序报告解读

2024-03-18 22:18

本文主要是介绍Innovus/Encounter时序报告解读,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

640?wx_fmt=gif

最近在学report_timing这个命令,发现自己对timing report的认知只停留在看slack和delay数值上。于是,决定研究一下这个report。Innovus/Encounter的report格式确实有点不按套路出牌,初看有点凌乱。以下只是我的一些简单认识,各位timing大神可以直接忽略,希望对新人会有帮助:

首先,我们来看一条简单的timing path report

640?wx_fmt=jpeg

前面的比较简单. 按行来解读吧

1. 最顶上的是报这条path用的完整命令和option, 我们可以采用full_clock的type将clock path上的具体情况也报出来来

2. Path 1: 是指报出这条path的Slack情况是Met还是Violate.

3. Endpoint和Beginpoint是介绍了这条path的End point和Begin point。这里问题来了,小编第一次碰到两个陌生单词,leading edgetrailing edge。起初以为是上升沿和下降沿的意思。查看了doc后,发现不是这么看的。

我们可以按照其字面理解:

leading edge: 主导的边沿,在每个周期中,第一个出现的边沿就是leading edge

trailing edge: 拖尾的边沿,在每个周期中,最后一个出现的边沿就是trailing edge

所以说,leading edge不一定代表rising edge。反之,trailing edge也不一定就是falling edge.

总结一下,有以下规律:

如果你生成的clock是positive clock,clock的rising edge就是leading edge,falling edge就是trailing edge

如果你生成的clock是negative clock,clock的rising edge就是trailing edge,falling edge就是leading edge

4. Path group就是path group,如果有创建path group就会显示,没有的话一般就是指该条path的clock信息

5. Other End Arrival Time: 这个其实就是clock capture path上的Arrival time,对应着就是下面第二张表格的最终Arrival time值,我用红圈圈出来那一个。

640?wx_fmt=jpeg

6. setup就是cell的setup值,这个值是根据该cell的constrained pin的transition和related pin的transition,在lib中查表得到。

7. Phase Shift: 这个是最难懂的东西,太抽象。

Phase shift is the time added to timing calculations to account for the relationships between ideal clock domains.

我的理解是这样:由于我们定义的clock都是ideal clock。而实际需要check的时钟沿和理想时钟沿有一定偏移,因此,工具需要根据自己的算法加上phase shift,才能得到它真正要去check的时钟沿。其实大部分情况下,我们可以直接把phase shift理解为周期。

8. uncertainty:时钟的不确定性,可能提前,也可能延后。提前到来是为setup uncertainty,所以是减。延后到来是为hold uncertainty,所以是加。

9. Require Time:就是data path上的require time,等于上述几个数字相加减

10. Arrival Time:就是data path上的arrival time,就是下面第一张表格的最终arrival time

640?wx_fmt=jpeg

11. 最终的slack值就是前面两个Require time和Arrival time的差值

12. 后面两张表格前面都有介绍过了,就是具体path上每个cell以及net的delay情况,对于Begin point arrival time,还需要算上insertion delay的情况。

写得好长,有点乱,但是应该会对大家理解timing report会有帮助,懂了基本概念之后,我们才能往深入的东西去研究。


640?wx_fmt=jpeg

往期回顾

简历请戳邮箱:taozhang3260@163.com

觉得有用的话,给我点个好看吧640?wx_fmt=gif

这篇关于Innovus/Encounter时序报告解读的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/823836

相关文章

解读docker运行时-itd参数是什么意思

《解读docker运行时-itd参数是什么意思》在Docker中,-itd参数组合用于在后台运行一个交互式容器,同时保持标准输入和分配伪终端,这种方式适合需要在后台运行容器并保持交互能力的场景... 目录docker运行时-itd参数是什么意思1. -i(或 --interactive)2. -t(或 --

解读为什么@Autowired在属性上被警告,在setter方法上不被警告问题

《解读为什么@Autowired在属性上被警告,在setter方法上不被警告问题》在Spring开发中,@Autowired注解常用于实现依赖注入,它可以应用于类的属性、构造器或setter方法上,然... 目录1. 为什么 @Autowired 在属性上被警告?1.1 隐式依赖注入1.2 IDE 的警告:

Rust中的注释使用解读

《Rust中的注释使用解读》本文介绍了Rust中的行注释、块注释和文档注释的使用方法,通过示例展示了如何在实际代码中应用这些注释,以提高代码的可读性和可维护性... 目录Rust 中的注释使用指南1. 行注释示例:行注释2. 块注释示例:块注释3. 文档注释示例:文档注释4. 综合示例总结Rust 中的注释

解读Pandas和Polars的区别及说明

《解读Pandas和Polars的区别及说明》Pandas和Polars是Python中用于数据处理的两个库,Pandas适用于中小规模数据的快速原型开发和复杂数据操作,而Polars则专注于高效数据... 目录Pandas vs Polars 对比表使用场景对比Pandas 的使用场景Polars 的使用

Rust中的Drop特性之解读自动化资源清理的魔法

《Rust中的Drop特性之解读自动化资源清理的魔法》Rust通过Drop特性实现了自动清理机制,确保资源在对象超出作用域时自动释放,避免了手动管理资源时可能出现的内存泄漏或双重释放问题,智能指针如B... 目录自动清理机制:Rust 的析构函数提前释放资源:std::mem::drop android的妙

golang字符串匹配算法解读

《golang字符串匹配算法解读》文章介绍了字符串匹配算法的原理,特别是Knuth-Morris-Pratt(KMP)算法,该算法通过构建模式串的前缀表来减少匹配时的不必要的字符比较,从而提高效率,在... 目录简介KMP实现代码总结简介字符串匹配算法主要用于在一个较长的文本串中查找一个较短的字符串(称为

Java使用POI-TL和JFreeChart动态生成Word报告

《Java使用POI-TL和JFreeChart动态生成Word报告》本文介绍了使用POI-TL和JFreeChart生成包含动态数据和图表的Word报告的方法,并分享了实际开发中的踩坑经验,通过代码... 目录前言一、需求背景二、方案分析三、 POI-TL + JFreeChart 实现3.1 Maven

MySQL中的MVCC底层原理解读

《MySQL中的MVCC底层原理解读》本文详细介绍了MySQL中的多版本并发控制(MVCC)机制,包括版本链、ReadView以及在不同事务隔离级别下MVCC的工作原理,通过一个具体的示例演示了在可重... 目录简介ReadView版本链演示过程总结简介MVCC(Multi-Version Concurr

关于Gateway路由匹配规则解读

《关于Gateway路由匹配规则解读》本文详细介绍了SpringCloudGateway的路由匹配规则,包括基本概念、常用属性、实际应用以及注意事项,路由匹配规则决定了请求如何被转发到目标服务,是Ga... 目录Gateway路由匹配规则一、基本概念二、常用属性三、实际应用四、注意事项总结Gateway路由

解读Redis秒杀优化方案(阻塞队列+基于Stream流的消息队列)

《解读Redis秒杀优化方案(阻塞队列+基于Stream流的消息队列)》该文章介绍了使用Redis的阻塞队列和Stream流的消息队列来优化秒杀系统的方案,通过将秒杀流程拆分为两条流水线,使用Redi... 目录Redis秒杀优化方案(阻塞队列+Stream流的消息队列)什么是消息队列?消费者组的工作方式每