咸阳网站建设方案,做网站手机版和电脑版怎么区分,网站设计公司 长沙,app定制开发 价格PrimeTime#xff08;PT#xff09;是Synopsys的sign-off quality的静态时序分析工具。PrimeTime可以集成于逻辑综合和物理综合的流程#xff0c;让设计者分析并解决复杂的时序问题#xff0c;并提高时序收敛的速度。
一、概述 PT最大的两个特点是#xff1a;
基于时序路… PrimeTimePT是Synopsys的sign-off quality的静态时序分析工具。PrimeTime可以集成于逻辑综合和物理综合的流程让设计者分析并解决复杂的时序问题并提高时序收敛的速度。
一、概述 PT最大的两个特点是
基于时序路径进行分析由约束constraint驱动PT可以进行一系列的时序检查 有一些额外的检查可以在库中指定例如 clock separation这是对主/从锁存器的约束在两个时钟之间的最小要求的时钟间隔以避免锁存器成为transparent。 nonsequential这类似于两个数据引脚之间的数据到数据的设置和保持检查。
constraint check由使用者指定的约束检查如 set_output_delaylibrary check由供应商在库中为特定的子单元指定的检查如 setup/holdSTA是基于时序路径进行检查的在STA中对时序路径的定义如下 一共有四类路径我们使用report_global_timing命令就可以查看违例的时序路径 此外我们可以使用report_analysis_coverage命令来查看一个简单的汇总报告 PT具有非常多的功能而在使用PT之前我们首先要知道PT的使用要求即其最基本的输入要求 其中SPEF 是 IEEE标准的寄生交换格式GPD是synopsys公司寄生交换格式。
二、PT 的 Analysis Flow PrimeTime的时序分析主要有以下几步
载入设计与相关库文件读入相关寄生参数载入约束文件包括时序约束进行分析并产生报告保存session退出恢复session这个STA流程需要反复迭代进行直到达到sign off的要求。
1、读入设计与相关库文件 使用read_verilog命令即可读入设计文件而current design命令是用来设置Top的。 其中list_designs的标识含义如下
* 指明该design是current designL指明该design已经链接N指明该design不在memory中未载入PT中l指明该design部分链接在PT读入设计及相关库文件之前常常设置两个路径变量以方便地解决文件查找的问题 1、指定Prime Time搜索设计、逻辑库和其他设计数据的目录如时序模型。通过设置search_path变量来完成此任务 pt_shell set_app_var search_path 目录路径 Prime Time会按照你指定的顺序搜索这些目录。 2、通过设置 link_path 变量来指定 PrimeTme 在设计层次中寻找库文件。 pt_shell set_app_var link_path 目录路径 该变量可以包含短线-、库名和文件名。*指示PrimeTime在内存中搜索设计。Prime Tme按照你指定的顺序搜索库。主库是link_path中的第一个库。 使用link_design就可以读入相关的库文件 2、读入相关寄生参数 利用read_parasitics命令即可读入寄生参数相关文件使用-format即可指定读入的文件格式 PrimeTime支持以下格式的文件
Galaxy Parasitic Database(GPD)Standard Parasitic Exchange Format(SPEF)Detailed Standard Parasitic Format(DSPF)Reduced Standard Parasitic Format(RSPF)Milkyway(PARA)PrimeTime推荐使用GPD以及SPEF格式的文件。 在读入寄生参数后我们可以利用以report_annotated_parasitics命令来检查寄生参数标记的情况 需要注意的是read_parasitics命令会自动显示该报告我们也可以在read_parasitics时检查PARA- RC-Warnings。 任何未被标记的pin to pin nets都需进一步检查。Driveless 和Loadless nets 通常是未使用的pin造成的这些未标记的nets一般来说是正常的。
3、读入约束文件 使用read_sdc读入设计约束文件 再读入约束文件后需要进行约束完整性的检查使用check_timing -verbose命令 最后一些单周期静态STA的例外情况有以下几种即需要单独进行分析
False pathMulti-cycle pathset_max_delay and set_min_delay而没有正确指定的例外情况需要忽略使用report_exceptions -ignore命令进行查看 4、进行分析 PBA Path Based Analysis 在save_session前运行PBA选项可以避免在恢复session后重新计算。 而使用report_timing命令配合其选项可以产生更详尽的报告 GBAGraph Based Analysis
5、保存session 使用save_session可以保存session pt_shellsave_session $session_directory 一个保存好的session包含以下信息用于恢复。
链接的设计和加载的库时钟、时序例外和其他约束条件操作条件反标SDF的延迟和寄生参数变量设置网表编辑insert buffer、size cell、swap cell。分析数据交叉耦合cross-coupled的延迟数据和噪声数据其目录格式如下以orca项目为例 6、退出 一般使用以下命令完成退出 当然也可以单独使用这两个指令 7、恢复session 使用restore_session可以保存session pt_shellrestore_session $session_directory 三、配置文件及脚本 setup file是PrimeTime的配置文件其文件名为 .synopsys_pt.setup当PT运行时会自动执行完成配置工作。 setup file一共有三个层级其优先级如下 可以使用synopsys提供的RMgenreference methodology generate工具生成PT运行脚本的模板 其中pt.tcl就是PT的运行脚本其内容如下:
