proc rn { net_name } {
puts " "
puts "Net name : $net_name : "
set name_rule [dbget [dbget top.nets.name $net_name -p].rule.name]
set flag_clk [dbget [dbget top.nets.name ¥net_name -p].isClock]
set driver_pins [ dbget [dbget -p1 [dbget -p1 top.nets.name $net_name].instTerms.isOutput 1].name]
set driver_name [dbget [dbget -p1 top.insts.instTerms.name $driver_pins].inst.name]
set driver_ref_name [dbget [dbget top.insts.name $driver_name -p].cell.name]
puts "Nondefualt rule: KaTeX parse error: Expected '}', got 'EOF' at end of input: …ule" if {
flag_clk == 1} {
puts “Is clock net: True”
} else {
puts “Is clock net: False”
}
puts “$driver_pins – $driver_ref_name”
puts “----------------------------------------------------------------------------------------------”
set loading_pins [ dbget [dbget -p1 [dbget -p1 top.nets.name $net_name].instTerms.isInput 1].name]
foreach loading_pin $loading_pins {
set loading_name [dbget [dbget -p1 top.insts.instTerms.name $loading_pin].inst.name]
set loading_ref_name [dbget [dbget top.insts.name l o a d i n g n a m e − p ] . c e l l . n a m e ] p u t s " loading_name -p].cell.name] puts " loading