multi-source CTS 时候，把clock gating cell 克隆了，formal 怎么过?

大龄文艺男青年 · 发表于 2016-1-15 13:57:21

如题，比如原来有个叫 u_ckg 的icg cell ，cts 之后名字变成了 u_ckg_MS_0 , 和 u_ckg_MS_1 做pr 和 dft 的netlist formal 验证时候，u_ckg 肯定 match 不上了，怎么样让它能match 成功呢?

mngtanktop · 发表于 2016-1-26 15:44:49

add inst equiv icg cell u_ckg_MS_0 -Revised
add inst equiv icg cell u_ckg_MS_1 -Revised
我记得是这样写

iseepiglet · 发表于 2016-2-22 09:51:54

set_user_match

[求助] multi-source CTS 时候，把clock gating cell 克隆了，formal 怎么过?