目 录 第一章绪论 1.1静态时序分析 1.2时序验证技术 第二章PrimeTime简介 …(3) 2.1 PrimeTime的特点和功能 2.2 PrimeTime进行时序分析的流程 2.3静态时序分析中所使用的例子 2.4 PrimeTime的用户界面 第三章Tcl与pt_shel1的使用 …(6) 3.1Tc1中的变量 3.2命令的嵌套 3.3文本的引用 3.4 PrimeTime中的对象 3.4.1对象的概念 3.4.2在PrimeTime中使用对象 3.4.3 针对collection的操作 3.5属性 3.6查看命令 第四章静态时序分析前的准备工作 ……(12) 4.1编译时序模型 4.l.1编译Stamp Model 4.1.2编译快速时序模型 4.2设置查找路径和链接路径 4.3读入设计文件 4.4链接 4.5设置操作条件和线上负载 4.6设置基本的时序约束 4.6.1对有关时钟的参数进行设置 4.6.2设置时钟一门校验 4.6.3查看对该设计所作的设置 4.7检查所设置的约束以及该设计的结构 第五章静态时序分析 ……(18) 5.1设置端口延迟并检验时序 5.2保存以上的设置 5.3基本分析 5.4生成path timing report 5.5设置时序中的例外 5.6再次进行分析 第六章Formality简介 …(22)目 录 第一章 绪论 ………………………………(1) 1.1 静态时序分析 1.2 时序验证技术 第二章 PrimeTime 简介 ………………………………(3) 2.1 PrimeTime 的特点和功能 2.2 PrimeTime 进行时序分析的流程 2.3 静态时序分析中所使用的例子 2.4 PrimeTime 的用户界面 第三章 Tcl 与 pt_shell 的使用 ………………………………(6) 3.1 Tcl 中的变量 3.2 命令的嵌套 3.3 文本的引用 3.4 PrimeTime 中的对象 3.4.1 对象的概念 3.4.2 在 PrimeTime 中使用对象 3.4.3 针对 collection 的操作 3.5 属性 3.6 查看命令 第四章 静态时序分析前的准备工作 ………………………………(12) 4.1 编译时序模型 4.1.1 编译 Stamp Model 4.1.2 编译快速时序模型 4.2 设置查找路径和链接路径 4.3 读入设计文件 4.4 链接 4.5 设置操作条件和线上负载 4.6 设置基本的时序约束 4.6.1 对有关时钟的参数进行设置 4.6.2 设置时钟－门校验 4.6.3 查看对该设计所作的设置 4.7 检查所设置的约束以及该设计的结构 第五章 静态时序分析 ………………………………(18) 5.1 设置端口延迟并检验时序 5.2 保存以上的设置 5.3 基本分析 5.4 生成 path timing report 5.5 设置时序中的例外 5.6 再次进行分析 第六章 Formality 简介 ………………………………(22)