From 8590c7d2a897b65cd3c55d8a0ce1353d0ae5386d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 10 Jun 2015 16:48:06 +0200
Subject: [PATCH] Updated Vivado SoC example

---
 scripts/vivado/.gitignore    |  2 ++
 scripts/vivado/Makefile      |  2 +-
 scripts/vivado/soc_top.v     | 22 +++++++---------------
 scripts/vivado/synth_soc.tcl |  4 +++-
 scripts/vivado/synth_soc.xdc | 35 ++++++++++++++++++++++++++++++++++-
 5 files changed, 47 insertions(+), 18 deletions(-)

diff --git a/scripts/vivado/.gitignore b/scripts/vivado/.gitignore
index 87c273a..884ba06 100644
--- a/scripts/vivado/.gitignore
+++ b/scripts/vivado/.gitignore
@@ -1,2 +1,4 @@
 synth_*.log
+synth_*.mmi
+synth_*.bit
 synth_*.v
diff --git a/scripts/vivado/Makefile b/scripts/vivado/Makefile
index 44f66d4..aa41132 100644
--- a/scripts/vivado/Makefile
+++ b/scripts/vivado/Makefile
@@ -6,5 +6,5 @@ help:
 
 synth_%:
 	$(VIVADO) -nojournal -log $@.log -mode batch -source $@.tcl
-	rm -rf .Xil fsm_encoding.os synth_*.backup.log
+	rm -rf .Xil fsm_encoding.os synth_*.backup.log usage_statistics_webtalk.*
 
diff --git a/scripts/vivado/soc_top.v b/scripts/vivado/soc_top.v
index f57ef48..b0ebb00 100644
--- a/scripts/vivado/soc_top.v
+++ b/scripts/vivado/soc_top.v
@@ -1,15 +1,11 @@
 `timescale 1 ns / 1 ps
 
 module soc_top (
-	input         clk,
-	input         resetn,
-	output        trap,
-	output [7:0]  out_byte,
-	output reg    out_byte_en,
-
-	output        monitor_valid,
-	output [31:0] monitor_addr,
-	output [31:0] monitor_data
+	input            clk,
+	input            resetn,
+	output           trap,
+	output reg [7:0] out_byte,
+	output reg       out_byte_en
 );
 	// 4096 32bit words = 16kB memory
 	parameter MEM_SIZE = 4096;
@@ -46,15 +42,10 @@ module soc_top (
 		.mem_la_wstrb(mem_la_wstrb)
 	);
 
-	assign monitor_valid = mem_valid;
-	assign monitor_addr = mem_addr;
-	assign monitor_data = mem_wstrb ? mem_wdata : mem_rdata;
-
 	reg [31:0] memory [0:MEM_SIZE-1];
-	initial $readmemh("firmware.hex", memory);
+	// initial $readmemh("firmware.hex", memory);
 
 	assign mem_ready = 1;
-	assign out_byte = mem_wdata[7:0];
 
 	always @(posedge clk) begin
 		out_byte_en <= 0;
@@ -68,6 +59,7 @@ module soc_top (
 		else
 		if (mem_la_write && mem_la_addr == 32'h1000_0000) begin
 			out_byte_en <= 1;
+			out_byte <= mem_la_wdata;
 		end
 	end
 endmodule
diff --git a/scripts/vivado/synth_soc.tcl b/scripts/vivado/synth_soc.tcl
index 4311418..eaf82d5 100644
--- a/scripts/vivado/synth_soc.tcl
+++ b/scripts/vivado/synth_soc.tcl
@@ -3,7 +3,7 @@ read_verilog soc_top.v
 read_verilog ../../picorv32.v
 read_xdc synth_soc.xdc
 
-synth_design -part xc7a15t-csg324 -top soc_top
+synth_design -part xc7a35t-cpg236-1 -top soc_top
 opt_design
 place_design
 route_design
@@ -12,4 +12,6 @@ report_utilization
 report_timing
 
 write_verilog -force synth_soc.v
+write_bitstream -force synth_soc.bit
+# write_mem_info -force synth_soc.mmi
 
diff --git a/scripts/vivado/synth_soc.xdc b/scripts/vivado/synth_soc.xdc
index 159af1b..5748466 100644
--- a/scripts/vivado/synth_soc.xdc
+++ b/scripts/vivado/synth_soc.xdc
@@ -1 +1,34 @@
-create_clock -period 5.00 [get_ports clk]
+
+# XDC File for Basys3 Board
+###########################
+
+set_property PACKAGE_PIN W5 [get_ports clk]
+set_property IOSTANDARD LVCMOS33 [get_ports clk]
+create_clock -period 10.00 [get_ports clk]
+
+# Pmod Header JA (JA0..JA7)
+set_property PACKAGE_PIN J1 [get_ports {out_byte[0]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[0]}]
+set_property PACKAGE_PIN L2 [get_ports {out_byte[1]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[1]}]
+set_property PACKAGE_PIN J2 [get_ports {out_byte[2]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[2]}]
+set_property PACKAGE_PIN G2 [get_ports {out_byte[3]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[3]}]
+set_property PACKAGE_PIN H1 [get_ports {out_byte[4]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[4]}]
+set_property PACKAGE_PIN K2 [get_ports {out_byte[5]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[5]}]
+set_property PACKAGE_PIN H2 [get_ports {out_byte[6]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[6]}]
+set_property PACKAGE_PIN G3 [get_ports {out_byte[7]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte[7]}]
+
+# Pmod Header JB (JB0..JB2)
+set_property PACKAGE_PIN A14 [get_ports {resetn}]
+set_property IOSTANDARD LVCMOS33 [get_ports {resetn}]
+set_property PACKAGE_PIN A16 [get_ports {trap}]
+set_property IOSTANDARD LVCMOS33 [get_ports {trap}]
+set_property PACKAGE_PIN B15 [get_ports {out_byte_en}]
+set_property IOSTANDARD LVCMOS33 [get_ports {out_byte_en}]
+