
report \
    -type     timing \
    -analysis max \
    -format   text \
    MC_System_top_timing_r3_s4.rpt
report \
    -type     timing_violations \
    -analysis max \
    -format   text \
    -use_slack_threshold no \
    -max_paths 100 \
    MC_System_top_timing_violations_max_r3_s4.rpt
report \
    -type     timing_violations \
    -analysis min \
    -format   text \
    -use_slack_threshold no \
    -max_paths 100 \
    MC_System_top_timing_violations_min_r3_s4.rpt
set has_violations {MC_System_top_has_violations}
set fp [open $has_violations w]
puts $fp [has_violations -short]
close $fp
