本文共 1696 字,大约阅读时间需要 5 分钟。
在静态时序分析中,工具提供了三种主要分析模式:单一模式、最好-最坏模式(BC-WC)以及OCV模式。这些模式根据不同的工作条件和分析需求,能够提供不同水平的时序分析结果。以下将从基本概念出发,逐步介绍这三种模式的特点及应用场景。
在时序路径分析中,最快路径(early-path)和最慢路径(late-path)是两个核心概念。最快路径指的是在信号传播延时计算中调用最快工艺参数的路径,分为最快时钟路径和最快数据路径。最慢路径则是在信号传播延时计算中调用最慢工艺参数的路径,同样分为最慢时钟路径和最慢数据路径。这些路径的延时信息对时序分析具有重要意义。
在一个库中,尽管电路器件单元已经被综合映射,工具仍然可以通过改变不同的工艺参数,获取不同的单元延时值。这使得同一库中存在最快路径和最慢路径的可能性。
单一模式是静态时序分析工具默认的工作模式。在这种模式下,工具只在指定的单一工作条件下执行建立时间和保持时间检查。工作条件可以是最好的、典型的或最坏的中的一种,但仅执行单一种检查。
在单一模式下,建立时间的计算公式为: [ 发射时钟最慢路径延时 + 最慢数据路径延时 ≤ 捕获时钟最快路径延时 + 时钟周期 - 终止点时序单元建立时间 ]
保持时间的计算公式为: [ 发射时钟最快路径延时 + 最快数据路径延时 ≥ 捕获时钟最慢路径延时 + 终止点时序单元保持时间 ]
对于题目中的电路图,在单一模式下分析时,工具会基于同一库提取延时信息。以下是F1-F2路径的建立时间和保持时间分析示例:
最好-最坏模式(BC-WC)是基于PVT环境中最好的和最坏工作条件进行分析的模式。在这种模式下,工具会同时在最好的和最坏的工作环境下检查建立时间和保持时间。需要读入两个库:一个用于最好条件,另一个用于最坏条件。
在BC-WC模式下,建立时间的计算依赖于最大延时时序库: [ 发射时钟最慢路径延时(max库) + 最慢数据路径延时(max库) ≤ 捕获时钟最快路径延时(max库) + 时钟周期 - 终止点时序单元建立时间 ]
保持时间的计算依赖于最小延时时序库: [ 发射时钟最快路径延时(min库) + 最快数据路径延时(min库) ≥ 捕获时钟最慢路径延时(min库) + 终止点时序单元保持时间 ]
在BC-WC模式下:
OCV模式是基于芯片变化相关工作模式的模式。与BC-WC模式类似,OCV模式也需要读入两个库:一个用于最好条件,另一个用于最坏条件。在分析时,会考虑时序减免和时钟路径悲观移除等因素。
在OCV模式下,建立时间的计算方式为: [ 发射时钟最慢路径延时(max库) + 最慢数据路径延时(max库) ≤ 捕获时钟最快路径延时(min库) + 时钟周期 - 终止点时序单元建立时间 ]
在OCV模式下:
转载地址:http://irqfk.baihongyu.com/