edastudy:vc_formal:user_check
这是本文档旧的修订版!
#### - user check ####
set search_path "."
set link_library " "
analyze -format sverilog -vcs "chip.v"
elaborate chip
foreach_in_collection cell [get_cells] {
set cell_name [get_object_name $cell]
set ref_name [get_attribute -objects $cell -name ref_name];
set orig_ref_name [regsub {_\d\d\d\d$} $ref_name {}]
puts "cell_name: $cell_name, ref_name: $ref_name, orig_ref_name: $orig_ref_name"
}
edastudy/vc_formal/user_check.1780812803.txt.gz · 最后更改: 2026/06/07 14:13 由 user01