Synopsys设计环境约束

本节和下一节将讨论设计环境及其约束的过程,描述了各种广为使用的DC命令和其他可用于综合复杂ASIC设计的约束。请注意介绍的是最常用的选项,建议参考DC使用手册以查询特定命令的所有可用选项的列表或在dc_shell中通过man指令查询。

为了从DC得到最佳结果,设计人员应通过描述设计环境、目标和设计规则来系统地约束其设计。约束可包括时序和/或面积信息,通常由设计规范给出。DC运用这些约束条件进行综合并且试图优化设计达到最终目标。

设计环境

假设设计已经完成了划分、编码和仿真,下一步就是要描述设计环境,这一步需要为设计定义工艺参数、I/O端口属性和线载模型。下图说明了用于描述设计环境的基本DC命令。

set_min_library是DC98版本引进的一个新命令,该命令允许用户同时指定最坏情况和最佳情况的库。

set_min_library <max library filename> -min_version <min library filenames>

上一命令可用于修正保持时间违例或用于合理优化。

set_operating_conditions描述了设计的工艺、电压及温度条件。Synopsys库包含这些条件的描述,通常描述为WORST、TYPICAL和BEST情况。WORST情况工作条件通常用于布图前综合阶段,因此以最大建立时间优化设计。BEST情况通常用于修正保持时间违例。

set_operating_conditions <name of operating conditions>

有可能用WORST和BEST情况同时进行优化设计。如下所示,在上述命令中使用-min和-max选项进行优化。这对修正设计保持时间违例十分有用。

set_operating_conditions -min BEST -max WORST

set_wire_load_mode命令用来为DC提供估计的线载信息,反过来DC使用线载信息把连线延迟建模为负载的函数。通常Synopsys工艺库中列出了许多线载模型,每个模型代表一个特定大小的模块。

set_wire_load_mode -name <wire-load model>

set_wire_load_mode定义了三种同建模连线负载相关的模式,分别为top、enclosed和segmented。

top模式定义层次中的所有连线将继承和顶层模块同样的线载模型。exclosed指定所有连线(属于子模块的)将继承完全包含该子模块的模块线载模型。例如设计者综合完全被模块A包含的子模块B和C,则子模块B和C会继承为模块A定义的线载模型。segmented用于跨越层次边界的连线。在上例中,子模块B和C继承特定于他们的线载模型,而子模块B和C间的连线(在模块A)会继承为模块A指定的线载模型。

set_wire_load_mode <top | enclosed | segmented>

set_drive和set_drving_cell用于模块的输入端口。set_drive命令用于指定输入端口的驱动强度,主要用于模块建模或芯片端口外驱动电阻。0值表示最高驱动强度且通常用于时钟端口。set_driving_cell用于对输入端口驱动单元的驱动电阻进行建模,这一命令将驱动单元的名称作为其参数并将驱动单元的所有设计约束应用于模块的输入端口。

set_load将工艺库中定义的单位上的容性负载设置到设计的指定连线或端口。它主要用于在布图前综合过程中设置模块输出端口的容性负载和往连线上反标注布图后提取的电容信息。

设计规则或DRC由set_max_transition、set_max_fanout和set_max_capacitance命令组成。这些规则通常在工艺库中设置并且由工艺参数决定。DRC命令可用于输入端口、输出端口或current_design,此外,也可以使用这些命令修改参数:

set_max_transition

set_max_capacitance

set_max_fanout

参考文献:

高级ASIC芯片综合 (豆瓣)​book.douban.com

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,222评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,455评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,720评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,568评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,696评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,879评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,028评论 3 409
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,773评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,220评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,550评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,697评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,360评论 4 332
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,002评论 3 315
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,782评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,010评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,433评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,587评论 2 350

推荐阅读更多精彩内容

  • 1、软件启动 新开一个terminal窗口,输入命令 :design_vision,回车即可开启图形界面,进入图形...
    蜀湘情缘阅读 9,053评论 0 8
  • 个人学习批处理的初衷来源于实际工作;在某个迭代版本有个BS(安卓手游模拟器)大需求,从而在测试过程中就重复涉及到...
    Luckykailiu阅读 4,702评论 0 11
  • feisky云计算、虚拟化与Linux技术笔记posts - 1014, comments - 298, trac...
    不排版阅读 3,833评论 0 5
  • testbench 1. 激励的产生 对于testbench而言,端口应当和被测试的module一一对应。端口分为...
    Michael_Johnson阅读 2,657评论 0 1
  • 一、Python简介和环境搭建以及pip的安装 4课时实验课主要内容 【Python简介】: Python 是一个...
    _小老虎_阅读 5,726评论 0 10