| # 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 |
| create_project -force -name top -part xc7a35ticsg324-1L |
| add_files {../top.v} |
| add_files {../VexRiscv_Linux.v} |
| read_xdc ../top.xdc |
| synth_design -top top -part xc7a35ticsg324-1L |
| report_timing_summary -file top_timing_synth.rpt |
| report_utilization -hierarchical -file top_utilization_hierarchical_synth.rpt |
| report_utilization -file top_utilization_synth.rpt |
| opt_design |
| place_design |
| report_utilization -hierarchical -file top_utilization_hierarchical_place.rpt |
| report_utilization -file top_utilization_place.rpt |
| report_io -file top_io.rpt |
| report_control_sets -verbose -file top_control_sets.rpt |
| report_clock_utilization -file top_clock_utilization.rpt |
| route_design |
| phys_opt_design |
| report_timing_summary -no_header -no_detailed_paths |
| write_checkpoint -force top_route.dcp |
| report_route_status -file top_route_status.rpt |
| report_drc -file top_drc.rpt |
| report_timing_summary -datasheet -max_paths 10 -file top_timing.rpt |
| report_power -file top_power.rpt |
| set_property BITSTREAM.CONFIG.SPI_BUSWIDTH 4 [current_design] |
| write_bitstream -force top.bit |
| write_cfgmem -force -format bin -interface spix4 -size 16 -loadbit "up 0x0 top.bit" -file top.bin |
| quit |
