13.33.75.4 Example

if { [ is_design_loaded ] } {

set design_location [ get_design_filename ] if {$design_location != "" } {

puts “Design is at $design_location.”

} else {

puts “Design has not been saved to a file on disk.”

}

} else {

puts "No design is loaded."

}