我正在「拾陆楼」和朋友们讨论有趣的话题，你⼀起来吧？
来自星球提问:
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