仅对英特尔可见 — GUID: mwh1410383586459
Ixiasoft
2.5.1.1. Report Fmax Summary(报告Fmax汇总)
2.5.1.2. Report Timing(报告时序)
2.5.1.3. Report Timing By Source Files(按源文件报告时序)
2.5.1.4. Report Data Delay(报告数据延迟)
2.5.1.5. Report Net Delay(报告网络延迟)
2.5.1.6. Report Clocks and Clock Network(报告时钟和时钟网络)
2.5.1.7. Report Clock Transfers(报告时钟传输)
2.5.1.8. Report Metastability(报告亚稳定性)
2.5.1.9. Report CDC Viewer(报告CDC Viewer)
2.5.1.10. Report Asynchronous CDC(报告异步CDC)
2.5.1.11. Report Logic Depth(报告逻辑深度)
2.5.1.12. Report Neighbor Paths(报告相邻路径)
2.5.1.13. Report Register Spread
2.5.1.14. Report Route Net of Interest
2.5.1.15. Report Retiming Restrictions(报告重定时限制)
2.5.1.16. Report Register Statistics(报告寄存器统计)
2.5.1.17. Report Pipelining Information(报告流水线信息)
2.5.1.18. 报告时间借用数据
2.5.1.19. Report Exceptions and Exceptions Reachability(报告异常和异常可达性)
2.5.1.20. Report Bottlenecks(报告瓶颈)
仅对英特尔可见 — GUID: mwh1410383586459
Ixiasoft
1.2.3. 时钟保持分析
要执行时钟保持检查,Timing Analyzer确定所有源和目标寄存器对存在的每种可能的设置关系的保持关系。Timing Analyzer检查所有设置关系中的所有相邻时钟沿以确定保持关系。
Timing Analyzer对每个设置关系执行两次保持检查。第一次保持检查确定当前启动沿启动的数据未被先前锁存沿采集。第二次保持检查确定当前锁存沿没有采集下一个启动沿启动的数据。Timing Analyzer从可能的保持关系中选择最具限制性的保持关系。最具限制性的保持关系是具有锁存沿与启动沿之间最小差异的保持关系,并确定寄存器到寄存器路径所允许的最小延迟。在以下实例中,Timing Analyzer选择保持检查A2作为两种设置关系(设置A和设置B)的最具限制性的保持关系,并作为它们各自的保持检查。
图 11. 设置和保持检查关系
图 12. 内部寄存器到寄存器路径的时钟保持slack
Timing Analyzer在计算数据到达时间时使用最小延迟进行保持检查,在计算数据所需时间时使用最大延迟。
图 13. 从输入端口到内部寄存器的时钟保持slack计算
图 14. 从内部寄存器到输出端口的时钟保持slack计算