【附录B：SDF 下】静态时序分析圣经翻译计划

本文由知乎赵俊军授权转载，知乎主页为https://www.zhihu.com/people/zhao-jun-jun-19

B.4 映射示例

以下是将SDF结构映射到VHDL泛型（generic）和Verilog HDL声明（declaration）的示例。

传播延迟

• 从输入端口A到输出端口Y的传播延迟：上升时间为0.406，下降时间为0.339：

• 从输入端口OE到输出端口Y的传播延迟：上升时间为0.441，下降时间为0.409。最小、标准和最大延迟是相同的：

• 从输入端口S0到输出端口Y的条件传播延迟：

• 从输入端口A到输出端口Y的条件传播延迟：

• 从输入端口CK到输出端口Q的传播延迟：

• 从输入端口A到输出端口Y的条件传播延迟：

• 从输入端口CK到输出端口ECK的传播延迟：

• 从输入端口CI到输出端口S的条件传播延迟：

• 从输入端口CS到输出端口S的条件传播延迟：

• 从输入端口A到输出端口ICO的条件传播延迟：

• 从输入端口A到输出端口CO的条件传播延迟：

• 从CK的上升沿到Q的延迟：

输入建立时间

• D的上升沿与CK的上升沿之间的建立时间：

• D的下降沿与CK的上升沿之间的建立时间：

• 输入端口E的上升沿与参考CK的上升沿之间的建立时间：

• 输入端口E的下降沿和参考CK的上升沿之间的建立时间：

• SE和CK之间的条件建立时间：

输入保持时间

• D的上升沿与CK的上升沿之间的保持时间：

• RN与SN之间的保持时间：

• 输入端口SI与参考端口CK之间的保持时间：

• E和CK上升沿之间的条件保持时间：

输入建立和保持时间

• 在D和CLK之间的建立时间与保持时间检查。这是一个有条件的检查，第一个延迟值是建立时间，第二个延迟值是保持时间：

输入恢复时间

• CLKA和CLKB之间的恢复时间：

• CLKA上升沿与CLKB上升沿之间的条件恢复时间：

• SE与CK之间的恢复时间：

• RN与CK之间的恢复时间：

输入撤销时间

• E的上升沿与CK的下降沿之间的撤销时间：

• CK的上升沿和SN之间的条件撤销时间：

周期

• 输入CLKB的周期：

• 输入端口EN的周期：

• 输入端口TCK的周期：

脉宽

• CK上高脉冲的脉冲宽度：

• CK上低脉冲的脉冲宽度：

• RN上高脉冲的脉冲宽度：

输入偏斜时间

• CK与TCK之间的偏斜：

• SE和CK下降沿之间的偏斜：

无变化的建立时间

SDF文件中的NOCHANGE结构将同时映射到VHDL中的tncsetup和tnchold泛型。

• D和CK下降沿之间无变化的建立时间：

无变化的保持时间

SDF文件中的NOCHANGE结构将同时映射到VHDL中的tncsetup和tnchold泛型。

• E和CLKA之间无变化的条件保持时间：

端口延迟

• 端口OE的延迟：

• 端口RN的延迟：

网络延迟

• 连接到端口CKA的网络延迟：

互连路径延迟

• 从端口Y到端口D的互连路径延迟：

器件延迟

• 实例uP的输出SM的器件延迟：

B.5 完整语法

以下是使用BNF格式显示的SDF的完整语法。终端（terminal）名称是大写的，关键字是粗体的，但是不区分大小写。起始的终端是delay_file：