学习日记 filter_collection

innovus 命令 filter_collection

filter_collection

[-help]

base_collection

{ filter_expression }

[-nocase]

[-quiet]

[-regexp]

返回从指定的集合中根据指定的条件 （filter_expression）筛选的集合。遵循以下规则：

1. filter_expression 可以使用逻辑运算符组合多个属性组合成：>、<、==、！=、<=、>=、&&、||、=~、！~、AND、OR。可以使用括号创建表达式；

2. 可以使用 defined 和 undefined 来确定是否为 object 定义了属性；

3. get_property 命令支持的属性都可用于筛选；

也可以  get_* 时加 - filter 。

命令的选项有：

base_collection  指定被筛选集合；

filter_expression  指定筛选条件；

-nocase  正则匹配时不区分大小写；  Note：必须指定 -regexp 时才能用这个参数；

-quiet  禁止显示运行时的 error 和 warning；

-regexp  正则表达式匹配模式；默认模式支持通配符；

示例：

抓一个timing 集合，某个 slack 区间的集合，再抓他们的 capture point: 

set paths [ report_timing -collection -from -to -max_paths ]

set newPaths [filter_collection $paths {(slack > -0.271 && slack < 0.0)}]

get_db $newPaths .capturing_point

未定义 max_fanout 的 pin

filter_collection [get_pins ] undefined(max_fanout)

筛选 pin 里 U 开头的

filter_collection  [get_pins] {hierarchical_name =~ U*}