#####################################################################################
# pre place checks
#####################################################################################

#####################################################################################
# Check DESIGN
#####################################################################################
checkDesign -netlist -physicalLibrary -timingLibrary -powerGround -outDir $vars(rpt_dir)
summaryReport -noHtml -outfile $vars(rpt_dir)/$vars(design).summaryReport.rpt
reportGateCount -module $vars(design) -stdCellOnly -level 100 -outfile $vars(rpt_dir)/$vars(design).stdgatecount.rpt
reportGateCount -module $vars(design) -level 100 -outfile $vars(rpt_dir)/$vars(design).gatecount.rpt
reportNetStat 

###################################################################################
# Timing library checks
###################################################################################
setAnalysisMode -checkType setup
reportPowerDomain -file $vars(rpt_dir)/setup_libs.rpt
setAnalysisMode -checkType hold
reportPowerDomain -file $vars(rpt_dir)/hold_libs.rpt
setAnalysisMode -checkType setup

#####################################################################################
# Power domain checks
#####################################################################################
foreach PD $vars(power_domains) {
reportPowerDomain -powerDomain $PD -file $vars(rpt_dir)/$PD.rpt -shifter -isoInst -pgNet -bindLib
}

###################################################################################
# Isolation checks
###################################################################################
foreach PD $vars(power_domains) {
reportIsolation -fromPowerDomain $PD -outfile $vars(rpt_dir)/from_$PD\_iso.rpt -highlight
}

verifyPowerDomain -gconn -xNetPD -isoNetPD -bind

###################################################################################
# Check timing
###################################################################################
set_global report_timing_format {instance arc cell  net fanout load  slew delay incr_delay arrival required}
check_timing -verbose > $vars(rpt_dir)/check_timing.rpt

timeDesign -prePlace -expandedViews -numPaths 1000 -outDir $vars(rpt_dir)

puts "### End of pre-place checks"