| # 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 | |
| read_verilog harness.v | |
| synth_design -top top -part $::env(XRAY_PART) | |
| write_checkpoint -force harness_synth.dcp |