##################################################### # Verify and file output (Erik Brunvand, 2008) # ##################################################### puts "----------Verifying and File Output-------------" # # Verify the connectivity and geometry verifyConnectivity -type regular -error 50 -warning 50 \ -reportfile ${BASENAME}_Conn_regular.rpt verifyConnectivity -type special -error 50 -warning 50 \ -reportfile ${BASENAME}_Conn_special.rpt verifyGeometry -allowSameCellViols -noSameNet -noOverlap\ -reportfile ${BASENAME}_Geom.rpt puts "----------Output ${BASENAME}.def file------------" # Export the DEF, v, spef, sdf, lef, and lib files global dbgLefDefOutVersion set dbgLefDefOutVersion 5.5 defOut -floorplan -netlist -routing $BASENAME.def saveDesign ${BASENAME}_done.enc -def puts "----------Output ${BASENAME}_soc.v file---------" saveNetlist [format "%s_soc.v" $BASENAME] puts "--------Save models for hierarchical flow------" saveModel -postRoute -outDir ${BASENAME}_hier_data extractRC -outfile $BASENAME.cap rcOut -spef $BASENAME.spef delayCal -sdf $BASENAME.sdf -idealclock do_extract_model -blackbox_2d -force ${BASENAME}_soc.lib # Generate timing model for PrimeTime writeTimingCon -pt -filePrefix ${BASENAME}_done puts "------------Verify and file output done------"