相关阅读
SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm=1001.2014.3001.5482
目录
指定最大面积值
指定忽略总负时序裕量
Multicorner-Multimode支持
简单使用
写在最后
set_max_area命令用于设置当前设计的最大面积(设置了当前设计的max_area属性),这是一种优化约束(Optimization Constraint),Design Compiler在综合的门级优化阶段的最后会尝试确保设计的总面积不超过设置的最大面积(优先级小于设计规则约束(Design Rule Constraint)和时序约束等其他优化约束,即不能以设计规则违例、时序违例为代价修复面积违例),如果不设置该约束,Design Compiler只会执行有限的单元尺寸下调和面积清理步骤。如果想要移除最大面积,使用remove_attribute命令。
需要注意的是,最大面积的设置只对于DC Expert有效,对于DC Ultra、Design Compiler Graphical和Design Compiler NXT,最大面积会被视为0(即持续进行面积优化,直到无法得到收益为止)。
本文针对Design Compiler,但该命令同样存在于PrimeTime、IC Compiler等工具中,它们大致相同,略有差别。set_max_area命令的BNF范式(有关BNF范式,可以参考以往文章)为:
set_max_area area_value [-ignore_tns] //注:该命令的选项和参数顺序任意指定最大面积值
area_value是一个非负的面积值,代表了需要设置在当前设计上的最大面积,它的单位要与工艺库中的面积单位一致。
指定忽略总负时序裕量
-ignore_tns选项用于指定在综合过程中优先考虑面积而非总负时序裕量(Total Negative Slack, TNS),即可能会增加设计的时序违例,以换取更小面积(前提是新的违例小于同一时序组中最关键路径(Worst Negative Slack)的违例)。
Multicorner-Multimode支持
该命令对所有活跃场景生效,关于场景的更多介绍,可以参考下面的博客。
Design Compiler:多工艺角和多工作模式(Multicorner-Multimode, MCMM)https://blog.csdn.net/weixin_45791458/article/details/149578771?ops_request_misc=%257B%2522request%255Fid%2522%253A%2522e3267dcc7cc26380435f53994dc8b9b8%2522%252C%2522scm%2522%253A%252220140713.130102334.pc%255Fblog.%2522%257D&request_id=e3267dcc7cc26380435f53994dc8b9b8&biz_id=0&utm_medium=distribute.pc_search_result.none-task-blog-2~blog~first_rank_ecpm_v1~rank_v31_ecpm-1-149578771-null-null.nonecase&utm_term=MCMM&spm=1018.2226.3001.4450
简单使用
以图1所示的电路图为例,单元CLKINVX12的面积为6.35。
图1 简单的例子
下面使用set_max_fanout命令设置设计的最大扇出负载为1.4,使用report_constraint -max_area命令查看此时设计的整体约束情况,如图2所示,可以看出此时出现面积违例,代价函数的值此时恰好为6.35-1.4=4.95。
dc_shell> set_max_area 1.4图2 最大面积(违例)
写在最后
由于工具的更新,该命令现在很少使用了,目前一般使用compile_ultra命令配合optimize_netlist -area命令(在Design Compiler 2013版本引入)进行面积优化。
尽管set_max_area命令不存在set_size_only命令中多实例化设计(MIM)的问题,但不可以通过使用current_design命令切换当前设计到多实例化设计,设置相应属性后再切换回顶层设计来进行多个对象的max_area属性设置(即使设置上了,综合时也不会生效)。另外,还有下面有几点需要注意:
1、当设置设计对象的max_area属性时, 其所有实例单元都会被设置max_area属性(需要注意的是,此时的max_area属性是显式继承设置的,如Synopsys:设计对象一文所说),但最大面积约束在顶层设计并不生效(即只有顶层设计的最大面积约束生效)。
2、propagate_constraints命令对该约束无效,即无法将子设计的最大面积约束传播到顶层设计。