@@ -42,53 +42,53 @@ proc check_port { label port } {
4242# --- leaf instance b1/u1 ---
4343puts " # leaf instance b1/u1"
4444set inst [get_cells b1/u1]
45- check " sta_to_db_inst" [sta::sta_to_db_inst $inst ]
45+ check " sta_to_db_inst" [sta::sta_to_db_inst $inst ]
4646check " sta_to_db_mod_inst" [sta::sta_to_db_mod_inst $inst ]
4747
4848# --- leaf pin b1/u1/A ---
4949puts " # leaf pin b1/u1/A"
5050set pin [get_pin b1/u1/A]
51- check " sta_to_db_pin" [sta::sta_to_db_pin $pin ]
52- check " sta_to_db_mod_pin" [sta::sta_to_db_mod_pin $pin ]
53- check_port " sta_pin_to_port" [sta::sta_pin_to_port $pin ]
51+ check " sta_to_db_pin" [sta::sta_to_db_pin $pin ]
52+ check " sta_to_db_mod_pin" [sta::sta_to_db_mod_pin $pin ]
53+ check_port " sta_pin_to_port" [sta::sta_pin_to_port $pin ]
5454
5555# --- hierarchical instance b1 ---
5656puts " # hierarchical instance b1"
5757set hinst [get_cells b1]
58- check " sta_to_db_inst" [sta::sta_to_db_inst $hinst ]
58+ check " sta_to_db_inst" [sta::sta_to_db_inst $hinst ]
5959check " sta_to_db_mod_inst" [sta::sta_to_db_mod_inst $hinst ]
6060
6161# --- hier-instance pin b1/clk (should be a dbModITerm) ---
6262puts " # hier-instance pin b1/clk"
6363set hpin [get_pin b1/clk]
64- check " sta_to_db_pin" [sta::sta_to_db_pin $hpin ]
65- check " sta_to_db_mod_pin" [sta::sta_to_db_mod_pin $hpin ]
64+ check " sta_to_db_pin" [sta::sta_to_db_pin $hpin ]
65+ check " sta_to_db_mod_pin" [sta::sta_to_db_mod_pin $hpin ]
6666# sta_pin_to_port returns a Port wrapping the child-module modBTerm.
6767set hport [sta::sta_pin_to_port $hpin ]
68- check_port " sta_pin_to_port" $hport
68+ check_port " sta_pin_to_port" $hport
6969if { $hport != " NULL" } {
70- check " sta_to_db_port (from moditerm)" [sta::sta_to_db_port $hport ]
70+ check " sta_to_db_port (from moditerm)" [sta::sta_to_db_port $hport ]
7171 check " sta_to_db_mod_port (from moditerm)" [sta::sta_to_db_mod_port $hport ]
7272}
7373
7474# --- top-level port clk1 ---
7575puts " # top-level port clk1"
7676set port [lindex [get_ports clk1] 0]
77- check " sta_to_db_port" [sta::sta_to_db_port $port ]
77+ check " sta_to_db_port" [sta::sta_to_db_port $port ]
7878check " sta_to_db_mod_port" [sta::sta_to_db_mod_port $port ]
7979
8080# --- top-level (flat) dbNet clk1 ---
8181puts " # top-level net clk1"
8282set tnet [get_net clk1]
83- check " sta_to_db_net" [sta::sta_to_db_net $tnet ]
83+ check " sta_to_db_net" [sta::sta_to_db_net $tnet ]
8484check " sta_to_db_mod_net" [sta::sta_to_db_mod_net $tnet ]
8585
8686# --- flat-name lookup of an internal hier net ---
8787# get_net resolves to the flat dbNet view (when a flat dbNet exists),
8888# so sta_to_db_net resolves and sta_to_db_mod_net returns NULL.
8989puts " # flat-name net b1/u1out"
9090set hnet [get_net b1/u1out]
91- check " sta_to_db_net" [sta::sta_to_db_net $hnet ]
91+ check " sta_to_db_net" [sta::sta_to_db_net $hnet ]
9292check " sta_to_db_mod_net" [sta::sta_to_db_mod_net $hnet ]
9393
9494# --- modnet-wrapped Net via Pin::net() ---
@@ -98,11 +98,11 @@ check " sta_to_db_mod_net" [sta::sta_to_db_mod_net $hnet]
9898puts " # modnet-wrapped Net via \[\$ pin net\] (b2/u3/Z)"
9999set leaf_pin [get_pin b2/u3/Z]
100100set mod_net [$leaf_pin net]
101- check " sta_to_db_net" [sta::sta_to_db_net $mod_net ]
101+ check " sta_to_db_net" [sta::sta_to_db_net $mod_net ]
102102check " sta_to_db_mod_net" [sta::sta_to_db_mod_net $mod_net ]
103103
104104puts " # modnet-wrapped Net via \[\$ pin net\] (b1/clk hier-pin)"
105105set hier_clk_pin [get_pin b1/clk]
106106set hier_clk_net [$hier_clk_pin net]
107- check " sta_to_db_net" [sta::sta_to_db_net $hier_clk_net ]
107+ check " sta_to_db_net" [sta::sta_to_db_net $hier_clk_net ]
108108check " sta_to_db_mod_net" [sta::sta_to_db_mod_net $hier_clk_net ]
0 commit comments