############################################################ ## Copyright: 2010 Integrated Sytems Laboratory, ETH Zurich ## http://www.iis.ee.ethz.ch/~sha3 ############################################################ # is the design name specified ??? if { [ info exists DESIGNNAME ] } { set NAME "$DESIGNNAME" } else { set NAME "final" } ## umc90 has 4 grid units per gate set dbgSitesPerGate 4 puts "Writing wire reports" reportWire reports/${NAME}.wire.rpt verifyConnectivity -type all -geomConnect -report reports/${NAME}.connect.rpt verifyGeometry -antenna -report reports/${NAME}_geom.rpt verifyProcessAntenna -leffile reports/${NAME}_antenna.lef -reportfile reports/${NAME}_antenna.rpt puts "Writing gatecount report" reportGateCount -level 100 -limit 1000 -outfile reports/${NAME}.gatecount.rpt puts "Checking nets that exceed the default delay limit" puts "There should be no nets in the report below" report_net -min_fanout [lindex $rdaUseDefaultDelayLimit 0]