SDC命令详解:使用get_lib_cells命令进行查询
相关阅读
SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm=1001.2014.3001.5482
目录
指定静默
指定使用正则表达式
指定精确匹配
指定大小写不敏感
指定过滤
指定场景
指定patterns参数
指定设计对象
Multicorner-Multimode支持
写在最后
get_lib_cells命令用于创建一个库单元对象集合,关于设计对象和集合的更详细介绍,可以参考下面的博客。需要注意的是,在有些工具中还存在get_lib_cell命令,它们没有任何差别。
Synopsys:设计对象https://chenzhang.blog.csdn.net/article/details/147015140?spm=1001.2014.3001.5502
本文针对Design Compiler,但该命令同样存在于PrimeTime、IC Compiler等工具中,它们大致相同,略有差别。get_lib_cells命令的BNF范式(有关BNF范式,可以参考以往文章)为:
get_lib_cells [-quiet] [-regexp | -exact] [-nocase] [-filter expression] [-scenarios scenario_names] [patterns | -of_objects objects] //注:该命令的选项和参数顺序任意指定静默
-quiet选项用于指定静默输出,如果尝试匹配的库单元对象不存在,不会报错或警告(不过语法错误仍会报错),如例1所示。
// 例1 dcnxt_shell> get_lib_cells a Error: Can't find lib_cell 'a'. (UID-109) dcnxt_shell> get_lib_cells -quiet a dcnxt_shell>指定使用正则表达式
-regexp选项用于指定使用正则表达式,patterns参数将被视为正则表达式,而不是通配符模式串(默认),如例2所示。该选项还会修改-filter选项的expression过滤表达式中=~和!~的行为,使其使用正则表达式,而不是通配符模式串。
需要注意的是,正则表达式默认是开头和结尾“锚定”的:即表达式被假定为从对象名称的开头开始匹配,并在对象名称的结尾结束匹配,可以通过在表达式的开头或结尾添加".*"来扩大匹配范围。
-regexp选项和-exact选项是互斥的,只能使用其中一个。
// 例2 dcnxt_shell> get_lib_cells -regexp {fast/AND2X1} {fast/AND2X1} dcnxt_shell> get_lib_cells -regexp {fast/AND2X} Error: Can't find lib_cell 'fast/AND2X'. (UID-109) dcnxt_shell> get_lib_cells -regexp {ast/AND2X1} Error: Can't find lib_cell 'ast/AND2X1'. (UID-109) dcnxt_shell> get_lib_cells -regexp {.*ast/AND2X1} {fast/AND2X1} dcnxt_shell> get_lib_cells -regexp {fast/AND2X.*} {fast/AND2X1 fast/AND2X2 fast/AND2X4 fast/AND2X6 fast/AND2X8 fast/AND2XL}指定精确匹配
-exact选项用于指定精确匹配,patterns参数将不被视为正则表达式或通配符模式串(默认),如例3所示。该选项还会修改-filter选项的expression过滤表达式中=~和!~的行为,使其不被视为正则表达式或通配符模式串。
-regexp选项和-exact选项是互斥的,只能使用其中一个。
// 例3 dcnxt_shell> get_lib_cells fast/AND2X* {fast/AND2X1 fast/AND2X2 fast/AND2X4 fast/AND2X6 fast/AND2X8 fast/AND2XL} dcnxt_shell> get_lib_cells -exact fast/AND2X* Error: Can't find lib_cell 'fast/AND2X*'. (UID-109)指定大小写不敏感
-nocase选项用于指定patterns参数和-filter选项的expression过滤表达式中==、=~和!~不区分大小写,如例4所示。
// 例4 dcnxt_shell> get_lib_cells FAST/AND2X1 Error: Can't find lib_cell 'FAST/AND2X1'. (UID-109) dcnxt_shell> get_lib_cells -nocase FAST/AND2X1 {fast/AND2X1}指定过滤
-filter选项指定基于库单元属性对得到的库单元对象集合进行过滤,如例5所示。类似于filter_collection命令那样,可以使用==、!=、>、<、>=、<=、=~、!~构成布尔表达式,其中=~和!~支持在布尔表达式右端使用正则表达式或通配符。使用list_attributes -class lib_cell -application命令可以列出一个库单元对象可以拥有的属性(Attribute)。
// 例5 dcnxt_shell> get_lib_cells "fast/*" -filter "cell_footprint==and2" {fast/AND2X1 fast/AND2X2 fast/AND2X4 fast/AND2X6 fast/AND2X8 fast/AND2XL} dcnxt_shell> get_lib_cells "fast/*" -filter "cell_footprint==and3" {fast/AND3X1 fast/AND3X2 fast/AND3X4 fast/AND3X6 fast/AND3X8 fast/AND3XL}指定场景
-scenario选项指定在特定场景中进行搜索,默认情况下会搜索加载到内存中的所有库。
指定patterns参数
patterns参数用于指定一个字符串,根据-regexp选项和-exact选项的指定情况,作为正则表达式、通配符模式串或普通字符串。该字符串中可以包含层次分隔符/和通配符*与?,需要注意的是,通配符不能匹配层次分隔符/。
patterns参数和-of_objects选项是互斥的,只能使用其中一个。
指定设计对象
-of_objects选项用于指定设计对象,创建与这些设计对象相联系的库单元对象集合。对象可以是库单元引脚(Lib Cell Pin)和库单元实例(Lib Cell Instance),如例6所示。
patterns参数和-of_objects选项是互斥的,只能使用其中一个。
// 例6 dcnxt_shell> get_lib_cells -of_objects [get_cells u_middle/u_leaf/U1] {fast/AND2X1}Multicorner-Multimode支持
默认情况下,该命令对所有活跃场景生效。如果使用-scenarios选项,则可以指定需要搜索的场景。
关于场景的更多介绍,可以参考下面的博客。
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
写在最后
get_lib_cells命令返回的是库单元对象集合,但该命令会自动调用query_objects命令显示对象名列表,执行该命令后可看到对应列表(列表中的对象名数量最多由collection_result_display_limit变量控制,默认为100)。