############################################################
## 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]

Generated on Fri Sep 24 10:39:12 CEST 2010
Home