Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -144,6 +144,10 @@ set_msg_config -id {DRC CKLD-2} -suppress
set_msg_config -id {DRC REQP-1853} -suppress
set_msg_config -id {Timing 38-436} -suppress

# Promote the following critical warnings to errors to prevent AGFI generation
# Design not completely routed
set_msg_config -id {Route 35-1} -new_severity "ERROR"

# Check that an email address has been set, else unset notify_via_sns

if {[string compare $notify_via_sns "1"] == 0} {
Expand Down Expand Up @@ -307,7 +311,7 @@ if {$implement} {
##############################
# CL Post-Route Optimization
##############################
set SLACK [get_property SLACK [get_timing_paths]]
set SLACK [get_property -min SLACK [get_timing_paths -delay_type min_max]]
#Post-route phys_opt will not be run if slack is positive or greater than -200ps.
if {$route_phys_opt && $SLACK > -0.400 && $SLACK < 0} {
puts "\nAWS FPGA: ([clock format [clock seconds] -format %T]) - Running post-route optimization";
Expand Down Expand Up @@ -337,6 +341,13 @@ if {$implement} {
# Generate debug probes file
write_debug_probes -force -no_partial_ltxfile -file $CL_DIR/build/checkpoints/${timestamp}.debug_probes.ltx

# Before proceeding, coarsely check if we meet timing otherwise exit
set SLACK [get_property -min SLACK [get_timing_paths -delay_type min_max]]
if {$SLACK < 0} {
puts "\nFATAL: Design did not meet timing requirements. Terminating.";
exit 3
}

close_project
}

Expand Down