| # Copyright (C) 2017-2020  The Project X-Ray Authors | 
 | # | 
 | # Use of this source code is governed by a ISC-style | 
 | # license that can be found in the LICENSE file or at | 
 | # https://opensource.org/licenses/ISC | 
 | # | 
 | # SPDX-License-Identifier: ISC | 
 | source "$::env(XRAY_DIR)/utils/utils.tcl" | 
 |  | 
 | proc run {} { | 
 |     create_project -force -part $::env(XRAY_PART) design design | 
 |     read_verilog top.v | 
 |     synth_design -top top | 
 |  | 
 |     set_property CFGBVS VCCO [current_design] | 
 |     set_property CONFIG_VOLTAGE 3.3 [current_design] | 
 |     set_property BITSTREAM.GENERAL.PERFRAMECRC YES [current_design] | 
 |  | 
 |     # Disable MMCM frequency etc sanity checks | 
 |     set_property IS_ENABLED 0 [get_drc_checks {PDRC-29}] | 
 |     set_property IS_ENABLED 0 [get_drc_checks {PDRC-30}] | 
 |     set_property IS_ENABLED 0 [get_drc_checks {AVAL-50}] | 
 |     set_property IS_ENABLED 0 [get_drc_checks {AVAL-53}] | 
 |     set_property IS_ENABLED 0 [get_drc_checks {REQP-126}] | 
 |     # PLL | 
 |     set_property IS_ENABLED 0 [get_drc_checks {REQP-161}] | 
 |  | 
 |  | 
 |     place_design | 
 |     route_design | 
 |  | 
 |     write_checkpoint -force design.dcp | 
 |     write_bitstream -force design.bit | 
 | } | 
 |  | 
 | run |