report \
    -type     timing \
    -analysis max \
    -format   xml \
    {D:\Libero11.6\website\PUBLISH\SF2_ECC_Demo_DF\ECC_App\designer\ECC_App_top\ECC_App_top_maxdelay_timing_report.xml}
report \
    -type     timing \
    -analysis min \
    -format   xml \
    {D:\Libero11.6\website\PUBLISH\SF2_ECC_Demo_DF\ECC_App\designer\ECC_App_top\ECC_App_top_mindelay_timing_report.xml}
report \
    -type     timing_violations \
    -analysis max \
    -format   xml \
    {D:\Libero11.6\website\PUBLISH\SF2_ECC_Demo_DF\ECC_App\designer\ECC_App_top\ECC_App_top_maxdelay_timing_violations_report.xml}
report \
    -type     timing_violations \
    -analysis min \
    -format   xml \
    {D:\Libero11.6\website\PUBLISH\SF2_ECC_Demo_DF\ECC_App\designer\ECC_App_top\ECC_App_top_mindelay_timing_violations_report.xml}
set has_violations {D:\Libero11.6\website\PUBLISH\SF2_ECC_Demo_DF\ECC_App\designer\ECC_App_top\ECC_App_top_has_violations}
set fp [open $has_violations w]
puts $fp [has_violations -short]
close $fp
