SDC命令详解：使用get_libs命令进行查询

相关阅读

SDC命令详解https://blog.csdn.net/weixin_45791458/category_12931432.html?spm=1001.2014.3001.5482

---

        get_libs命令用于创建一个库对象集合，关于设计对象和集合的更详细介绍，可以参考下面的博客。需要注意的是，在有些工具中还存在get_lib命令，它们没有任何差别。 

Synopsys：设计对象https://chenzhang.blog.csdn.net/article/details/147015140?spm=1001.2014.3001.5502

---

        本文针对Design Compiler，但该命令同样存在于PrimeTime、IC Compiler等工具中，它们大致相同，略有差别。get_libs命令的BNF范式（有关BNF范式，可以参考以往文章）为：

get_libs[-quiet][-regexp | -exact][-nocase][-filter expression][-scenarios scenario_names][patterns | -of_objects objects]//注：该命令的选项和参数顺序任意

指定静默

        -quiet选项用于指定静默输出，如果尝试匹配的库对象不存在，不会报错或警告（不过语法错误仍会报错），如例1所示。

// 例1
dc_shell> get_libs a
Error: Can't find library 'a'. (UID-109)
dc_shell> get_libs -quiet a
dc_shell> 

指定使用正则表达式

        -regexp选项用于指定使用正则表达式，patterns参数将被视为正则表达式，而不是通配符模式串（默认），如例2所示。该选项还会修改-filter选项的expression过滤表达式中=~和!~的行为，使其使用正则表达式，而不是通配符模式串。

        需要注意的是，正则表达式默认是开头和结尾“锚定”的：即表达式被假定为从对象名称的开头开始匹配，并在对象名称的结尾结束匹配，可以通过在表达式的开头或结尾添加".*"来扩大匹配范围。

        -regexp选项和-exact选项是互斥的，只能使用其中一个。

// 例2
dc_shell> get_libs -regexp {fast}
{fast}
dc_shell> get_libs -regexp {fas}
Error: Can't find library 'fas'. (UID-109)
dc_shell> get_libs -regexp {ast}
Error: Can't find library 'ast'. (UID-109)
dc_shell> get_libs -regexp {.*ast}
{fast}
dc_shell> get_libs -regexp {fast.*}
{fast fastz}

指定精确匹配

        -exact选项用于指定精确匹配，patterns参数将不被视为正则表达式或通配符模式串（默认），如例3所示。该选项还会修改-filter选项的expression过滤表达式中=~和!~的行为，使其不被视为正则表达式或通配符模式串。

        -regexp选项和-exact选项是互斥的，只能使用其中一个。

// 例3
dc_shell> get_libs fas*
{fast fastz}
dc_shell> get_libs -exact fas*
Error: Can't find library 'fas*'. (UID-109)

指定大小写不敏感

        -nocase选项用于指定patterns参数和-filter选项的expression过滤表达式中==、=~和!~不区分大小写，如例4所示。

// 例4
dc_shell> get_libs FAST
Error: Can't find library 'FAST'. (UID-109)
dc_shell> get_libs -nocase FAST
{fast}

指定过滤

        -filter选项指定基于库属性对得到的库对象集合进行过滤，如例5所示。类似于filter_collection命令那样，可以使用==、!=、>、<、>=、<=、=~、!~构成布尔表达式，其中=~和!~支持在布尔表达式右端使用正则表达式或通配符。使用list_attributes -class lib -application命令可以列出一个库对象可以拥有的属性(Attribute)。

// 例5
dc_shell> get_libs -filter "time_unit_name==ns"
{gtech fast slow fastz}
dc_shell> get_libs -filter "time_unit_name==ps"
dc_shell>

指定场景

        -scenario选项指定在特定场景中进行搜索，默认情况下会搜索加载到内存中的所有库。

指定patterns参数

        patterns参数用于指定一个字符串，根据-regexp选项和-exact选项的指定情况，作为正则表达式、通配符模式串或普通字符串。该字符串中可以包含层次分隔符/和通配符*与?，需要注意的是，通配符不能匹配层次分隔符/。

        patterns参数和-of_objects选项是互斥的，只能使用其中一个。如果没有使用这些选项中的任何一个，则会以加载到内存中的所有库创建库对象集合（即以*为默认patterns参数）。

指定设计对象 

        -of_objects选项用于指定设计对象，创建与这些设计对象相联系的库对象集合。对象可以是库单元(Lib Cell)，如例6所示。

       patterns参数和-of_objects选项是互斥的，只能使用其中一个。如果没有使用这些选项中的任何一个，则会以加载到内存中的所有库创建库对象集合（即以*为默认patterns参数）。

// 例6
dc_shell> get_libs -of_objects [get_lib_cells fast/AND2X1]
{fast}