report \
    -type     timing \
    -analysis max \
    -format   xml \
    {D:\Projects\Libero_11_0_0_23\Mathblock_widemult_exmp\synopysis_impl\Mult32x32\designer\Mult32x32_SF2\Mult32x32_SF2_maxdelay_timing_report.xml}
report \
    -type     timing \
    -analysis min \
    -format   xml \
    {D:\Projects\Libero_11_0_0_23\Mathblock_widemult_exmp\synopysis_impl\Mult32x32\designer\Mult32x32_SF2\Mult32x32_SF2_mindelay_timing_report.xml}
report \
    -type     timing_violations \
    -analysis max \
    -format   xml \
    {D:\Projects\Libero_11_0_0_23\Mathblock_widemult_exmp\synopysis_impl\Mult32x32\designer\Mult32x32_SF2\Mult32x32_SF2_maxdelay_timing_violations_report.xml}
report \
    -type     timing_violations \
    -analysis min \
    -format   xml \
    {D:\Projects\Libero_11_0_0_23\Mathblock_widemult_exmp\synopysis_impl\Mult32x32\designer\Mult32x32_SF2\Mult32x32_SF2_mindelay_timing_violations_report.xml}
set has_violations {D:\Projects\Libero_11_0_0_23\Mathblock_widemult_exmp\synopysis_impl\Mult32x32\designer\Mult32x32_SF2\Mult32x32_SF2_has_violations}
set fp [open $has_violations w]
puts $fp [has_violations -short]
close $fp
