Roshan Khatri
Philipp Gühring
if { $::env(DIODE_INSERTION_STRATEGY) == 2 } { run_antenna_check heal_antenna_violators; # modifies the routed DEF }