当前位置: 首页 > article >正文

FPGA时序分析与约束(7)——通过Tcl扩展SDC

一、概述

        术语“Synopsys公司设计约束”(又名SDC,Synopsys Design Constraints)用于描述对时序、功率和面积的设计要求,是EDA工具中用于综合、STA和布局布线最常用的格式。本文介绍时序约束的历史概要和SDC的描述。

二、时序约束的历史

        20世纪90年代初引人了时序约束。这些主要用于指定HDL 中无法捕获的设计特性和用于驱动综合。那时候,它们是 DesignCompiler的命令,为综合工具提供指导,以优化设计的面积与性能曲线。当PrimeTime结合Tcl的概念时,这些约束被修改为Tcl 格式的扩展。该集合称为SDC或Synopsys公司设计约束。多年来,该集合也扩展用于获取电源的设计要求。
        SDC命令基于Tcl语言。"工具命令语言"(又称Tcl,Tool Command Language)是一种非常流行的脚本语言,是常用于开发用户接口和嵌入式系统平台的应用程序。通过使SDC 扩展到Tcl,特定于工具的命令可以与原生的Tcl结构,如变量、表达式、语句和子程序相混合,使其成为实现工具非常强大的语言。现今,大多数实现和STA工具使用SDC作为标准格式以捕获对面积、功率和性能的设计意图。然而,特定的实现工具也可以使用该集合外的附加命令,以便指导其特定的算法或功能。这些命令通常称为非SDC命令。例如,Design Compiler和PrimeTime有许多非SDC命令,它们与 SDC 结构一起使用。这些扩展中的一些有助于分析约束,如集合(collections),其提供了一种迭代设计对象列表的方式。尽管一些非SDC命令仍然用于获取设计目标,但是根据其有用性和受欢迎程度,它们会定期包含在SDC修订版中。例如,set_clock_groups是表示时钟之间域关系的简洁方法,是非SDC命令,直到SDC标准1.7(2007年3月)才被包括进去。

三、Tcl基础知识

        关于Tcl基本知识,可以阅读以下文章
Tcl基础知识icon-default.png?t=N7T8https://blog.csdn.net/apple_53311083/article/details/133979550?spm=1001.2014.3001.5501

四、SDC综述

         SDC格式的约束可以大致分成以下几种:

  • 时序约束
  • 面积和功率约束
  • 设计规范约束
  • 接口约束
  • 特定模式和配置约束
  • 设计要求的异常
  • 其他命令

        一斯恶约束可能属于多个类别。

4.1 时序约束

        时序约束为影响工作频率的设计参数提供指导。它包括指定时钟特性、端口延迟、引脚和路径的命令。

create_clockcreate_generated_clockset_clock_groups
set_clock_latencyset_clock_transitionset_clock_uncertainty
set_clock_senseset_propagated_clockset_input_delay
set_output_delayset_clock_gating_checkset_ideal_latency
set_ideal_networkset_ideal_transitionset_max_time_borrow
set_resistanceset_timing_derateset_data_check
group_pathset_driveset_load
set_input_transitionset_fanout_delay

4.2 面积和功率约束

        面积与功率约束为面积和功率提供指导的命令,其中设计必须适合面积和功率要求达到最优。下表给出了此类约束:

set_max_areacreate_voltage_area
set_level_shifter_thresholdset_max_dynamic_power
set_level_shifter_strategyset_max_leakage_power

4.3 设计规则约束

        设计规则约束包括为目标技术的某些要求 提供指导的命令,下表列出了此类约束:

set_max_capacitanceset_min_capacitance
set_max_transitionset_max_fanout

4.4 接口约束

        接口约束包括为假象设计提供指导的命令,此设计需要构造电路单元,同时这些电路单元和子系统、芯片或Soc相连或与之交互,下表给出了此类约束:

set_driveset_driving_cellset_input_transition
set_loadset_fanout_loadset_port_fanout_number
set_input_delayset_output_delay

4.5 特定模式和配置约束

        假设分析的约束包括一些命令,这些命令帮助设计人员对端口和引脚的允许值做出假设。通过在特定工作模式或任意工作模式下明确排除不可能出现的情况,这些命令有助于对特定模式的设计进行更好地优化。下表给出了此类约束:

set_case_analysisset_logic_dc
set_logic_zeroset_logic_one

4.6 设计约束异常

        该类别包括帮助设计人员放宽要求地命令,此命令是由其他命令所规定的,从而提供了约束放宽的适用范围,下表给出了此类约束,表格中标有星号的命令也可提供额外的收紧(而不是放宽)。

set_false_pathset_multi_cycle_pathset_disable_timing
set_max_delay*set_min_delay*

4.7 其他命令

        其余的SDC命令属于此类别。这些命令对工作条件、线负载模型、单位和时序约束版本提供指导。下表给出了这些命令:

set_write_load_modelset_wire_load_mode
set_wire_load_selection_groupset_wire_load_min_block_size
set_unitsset_operating_conditions
sdc_version

五、SDC中的设计查询

        除了前述的类别之外,SDC标准还提供了访问有关设计信息的一种方法,以便于设计查询、遍历和浏览。将它们与SDC约束和Tcl脚本结合,可以有效地将设计要求应用于设计中的正确位置。下表给出如下命令:

命令描述
get_cells返回设计或库元器件的实例
get_ports返回设计的输入(input)、输入输出(inout)、输出(output)端口
get_pins返回设计端口或元器件引脚的实例
get_nets返回连接到端口或引脚的网络
get_clocks返回设计中的时钟
all_inputs返回设计中所有输入和输入输出(理论上也是输入)端口
all_outputs返回设计中所有输出和输入输出(理论上也是输出)端口
all_registers返回设计中的所有寄存器
all_clocks返回设计中的所有时钟
get_libs返回库列表
get_lib_cells返回库中的元器件列表
get_lib_pins返回库元器件中的引脚列表
current_design

为后续的命令和查询设置设计范围

如果没有给出参数,报告当前范围

六、小结

        由于SDC符合Tcl标准,所以大部分支持SDC的工具支持原生Tcl。用户可以将Tcl的编程功能和SDC相结合,以更有效的方式指定设计要求。现在,SDC是行业标准格式,这有助于推动设计实现工具以满足设计的时间、功率和面积要求。


http://www.kler.cn/a/107203.html

相关文章:

  • HAproxy 详解
  • 性能测试|JMeter接口与性能测试项目
  • Android Framework AMS(16)进程管理
  • 【前端】Vue中如何避免出现内存泄漏
  • Springboot 启动端口占用如何解决
  • vue el-date-picker 日期选择器禁用失效问题
  • WORD中的表格内容回车行距过大无法调整行距
  • 【STM32】STM32中断体系
  • 【期中复习】深度学习
  • Games 103 作业二
  • 10款轻量型的嵌入式GUI库分享
  • C++前缀和算法的应用:使数组相等的最小开销
  • 基于Python Django 的微博舆论、微博情感分析可视化系统(V2.0)
  • 如何快速安装MONAI(莫奈)医学标注软件
  • Xray的简单使用
  • Spring 更简单的读取和存储对象
  • docker - window Docker Desktop升级
  • redis集群的多key原子性操作如何实现?
  • Oracle RU 19.21及 datapatch -sanity_checks
  • js中HTMLCollection如何循环
  • 基于springboot实现校园志愿者管理系统项目【项目源码+论文说明】计算机毕业设计
  • 【ARMv8 SIMD和浮点指令编程】NEON 存储指令——如何将数据从寄存器存储到内存?
  • 系列二十二、如何在Spring中所有的bean都创建完成后做扩展
  • MySQL篇---第四篇
  • 论文阅读——InstructGPT
  • 数据库MySQL(四):表中字段约束和外键约束