# 
# Synthesis run script generated by Vivado
# 

proc create_report { reportName command } {
  set status "."
  append status $reportName ".fail"
  if { [file exists $status] } {
    eval file delete [glob $status]
  }
  send_msg_id runtcl-4 info "Executing : $command"
  set retval [eval catch { $command } msg]
  if { $retval != 0 } {
    set fp [open $status w]
    close $fp
    send_msg_id runtcl-5 warning "$msg"
  }
}
create_project -in_memory -part xc7k70tfbg484-1

set_param project.singleFileAddWarning.threshold 0
set_param project.compositeFile.enableAutoGeneration 0
set_param synth.vivado.isSynthRun true
set_msg_config -source 4 -id {IP_Flow 19-2162} -severity warning -new_severity info
set_property webtalk.parent_dir C:/training/Reset/lab/KC7xx/no_reset/no_reset.cache/wt [current_project]
set_property parent.project_path C:/training/Reset/lab/KC7xx/no_reset/no_reset.xpr [current_project]
set_property XPM_LIBRARIES XPM_CDC [current_project]
set_property default_lib xil_defaultlib [current_project]
set_property target_language Verilog [current_project]
set_property ip_output_repo c:/training/Reset/lab/KC7xx/no_reset/no_reset.cache/ip [current_project]
set_property ip_cache_permissions {read write} [current_project]
read_verilog -library xil_defaultlib {
  C:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/sources_1/imports/no_reset/piso.v
  C:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/sources_1/imports/no_reset/reset_example_top_noreset.v
}
read_ip -quiet C:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/sources_1/ip/mmcm_clocks/mmcm_clocks.xci
set_property used_in_implementation false [get_files -all c:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/sources_1/ip/mmcm_clocks/mmcm_clocks_board.xdc]
set_property used_in_implementation false [get_files -all c:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/sources_1/ip/mmcm_clocks/mmcm_clocks_ooc.xdc]

# Mark all dcp files as not used in implementation to prevent them from being
# stitched into the results of this synthesis run. Any black boxes in the
# design are intentionally left as such for best results. Dcp files will be
# stitched into the design at a later time, either when this synthesis run is
# opened, or when it is stitched into a dependent implementation run.
foreach dcp [get_files -quiet -all -filter file_type=="Design\ Checkpoint"] {
  set_property used_in_implementation false $dcp
}
read_xdc C:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/constrs_1/imports/no_reset/reset_example.xdc
set_property used_in_implementation false [get_files C:/training/Reset/lab/KC7xx/no_reset/no_reset.srcs/constrs_1/imports/no_reset/reset_example.xdc]

set_param ips.enableIPCacheLiteLoad 0
close [open __synthesis_is_running__ w]

synth_design -top reset_example_top -part xc7k70tfbg484-1


# disable binary constraint mode for synth run checkpoints
set_param constraints.enableBinaryConstraints false
write_checkpoint -force -noxdef reset_example_top.dcp
file delete __synthesis_is_running__
close [open __synthesis_is_complete__ w]
