formality: set_dont_verify_points用法

我正在「拾陆楼」和朋友们讨论有趣的话题，你⼀起来吧？

拾陆楼知识星球入口

来自星球提问:

Formality中如何对一些cell设dont verify points ? cell 比较多，是get_cells 抓出来的

formality支持get_cells，以2019版本的formality为例，用脚本做的话:

read_verilog ref.v

set_top i:/WORK/top_cell_name

current_design top_cell_name

set_dont_verify_point get_cells xx

read_verilog imp.v

set_top r:/WORK/top_cell_name

current_design top_cell_name

set_dont_verify_point get_cells xx