forked from Github_Repos/cvw
		
	Merge branch 'main' of github.com:davidharrishmc/riscv-wally into main
This commit is contained in:
		
						commit
						30d6514661
					
				| @ -282,7 +282,7 @@ connect_debug_port u_ila_0/probe65 [get_nets [list wallypipelinedsoc/core/priv.p | |||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 1 [get_debug_ports u_ila_0/probe66] | set_property port_width 1 [get_debug_ports u_ila_0/probe66] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe66] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe66] | ||||||
| connect_debug_port u_ila_0/probe66 [get_nets [list wallypipelinedsoc/core/priv.priv/trap/StorePageFaultM ]] | connect_debug_port u_ila_0/probe66 [get_nets [list wallypipelinedsoc/core/priv.priv/trap/StoreAmoPageFaultM ]] | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 1 [get_debug_ports u_ila_0/probe67] | set_property port_width 1 [get_debug_ports u_ila_0/probe67] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe67] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe67] | ||||||
| @ -446,7 +446,7 @@ connect_debug_port u_ila_0/probe98 [get_nets [list wallypipelinedsoc/core/hzu/Fl | |||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 4 [get_debug_ports u_ila_0/probe99] | set_property port_width 4 [get_debug_ports u_ila_0/probe99] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe99] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe99] | ||||||
| connect_debug_port u_ila_0/probe99 [get_nets [list {wallypipelinedsoc/core/ifu/icache.icache/cachefsm/CurrState[0]} {wallypipelinedsoc/core/ifu/icache.icache/cachefsm/CurrState[1]} {wallypipelinedsoc/core/ifu/icache.icache/cachefsm/CurrState[2]} {wallypipelinedsoc/core/ifu/icache.icache/cachefsm/CurrState[3]}]] | connect_debug_port u_ila_0/probe99 [get_nets [list {wallypipelinedsoc/core/ifu/bus.icache.icache/cachefsm/CurrState[0]} {wallypipelinedsoc/core/ifu/bus.icache.icache/cachefsm/CurrState[1]} {wallypipelinedsoc/core/ifu/bus.icache.icache/cachefsm/CurrState[2]} {wallypipelinedsoc/core/ifu/bus.icache.icache/cachefsm/CurrState[3]}]] | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| @ -555,7 +555,7 @@ connect_debug_port u_ila_0/probe119 [get_nets [list wallypipelinedsoc/core/lsu/D | |||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 11 [get_debug_ports u_ila_0/probe120] | set_property port_width 11 [get_debug_ports u_ila_0/probe120] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe120] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe120] | ||||||
| connect_debug_port u_ila_0/probe120 [get_nets [list {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[0]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[1]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[2]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[3]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[4]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[5]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[6]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[7]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[8]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[9]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.hptw/WalkerState[10]}]] | connect_debug_port u_ila_0/probe120 [get_nets [list {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[0]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[1]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[2]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[3]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[4]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[5]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[6]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[7]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[8]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[9]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/hptw/WalkerState[10]}]] | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| @ -574,23 +574,23 @@ connect_debug_port u_ila_0/probe122 [get_nets [list {wallypipelinedsoc/core/ifu/ | |||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 3 [get_debug_ports u_ila_0/probe123] | set_property port_width 3 [get_debug_ports u_ila_0/probe123] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe123] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe123] | ||||||
| connect_debug_port u_ila_0/probe123 [get_nets [list {wallypipelinedsoc/core/ifu/bus.busfsm/BusCurrState[0]} {wallypipelinedsoc/core/ifu/bus.busfsm/BusCurrState[1]} {wallypipelinedsoc/core/ifu/bus.busfsm/BusCurrState[2]} ]] | connect_debug_port u_ila_0/probe123 [get_nets [list {wallypipelinedsoc/core/ifu/bus.busdp/busfsm/BusCurrState[0]} {wallypipelinedsoc/core/ifu/bus.busdp/busfsm/BusCurrState[1]} {wallypipelinedsoc/core/ifu/bus.busdp/busfsm/BusCurrState[2]} ]] | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 1 [get_debug_ports u_ila_0/probe124] | set_property port_width 1 [get_debug_ports u_ila_0/probe124] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe124] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe124] | ||||||
| connect_debug_port u_ila_0/probe124 [get_nets [list wallypipelinedsoc/core/ifu/SpillSupport.CurrState[0] ]] | connect_debug_port u_ila_0/probe124 [get_nets [list wallypipelinedsoc/core/ifu/SpillSupport.spillsupport/CurrState[0] ]] | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 3 [get_debug_ports u_ila_0/probe125] | set_property port_width 3 [get_debug_ports u_ila_0/probe125] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe125] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe125] | ||||||
| connect_debug_port u_ila_0/probe125 [get_nets [list {wallypipelinedsoc/core/lsu/bus.busfsm/BusCurrState[0]} {wallypipelinedsoc/core/lsu/bus.busfsm/BusCurrState[1]} {wallypipelinedsoc/core/lsu/bus.busfsm/BusCurrState[2]} ]] | connect_debug_port u_ila_0/probe125 [get_nets [list {wallypipelinedsoc/core/lsu/bus.busdp/busfsm/BusCurrState[0]} {wallypipelinedsoc/core/lsu/bus.busdp/busfsm/BusCurrState[1]} {wallypipelinedsoc/core/lsu/bus.busdp/busfsm/BusCurrState[2]} ]] | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
| set_property port_width 3 [get_debug_ports u_ila_0/probe126] | set_property port_width 3 [get_debug_ports u_ila_0/probe126] | ||||||
| set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe126] | set_property PROBE_TYPE DATA_AND_TRIGGER [get_debug_ports u_ila_0/probe126] | ||||||
| connect_debug_port u_ila_0/probe126 [get_nets [list {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.interlockfsm/InterlockCurrState[0]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.interlockfsm/InterlockCurrState[1]} {wallypipelinedsoc/core/lsu/MEM_VIRTMEM.interlockfsm/InterlockCurrState[2]} ]] | connect_debug_port u_ila_0/probe126 [get_nets [list {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/interlockfsm/InterlockCurrState[0]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/interlockfsm/InterlockCurrState[1]} {wallypipelinedsoc/core/lsu/VIRTMEM_SUPPORTED.lsuvirtmem/interlockfsm/InterlockCurrState[2]} ]] | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
| create_debug_port u_ila_0 probe | create_debug_port u_ila_0 probe | ||||||
|  | |||||||
| @ -1,9 +1,15 @@ | |||||||
| 
 | 
 | ||||||
| #set partNumber $::env(XILINX_PART) | #set partNumber $::env(XILINX_PART) | ||||||
| #set boardNmae $::env(XILINX_BOARD) | #set boardNmae $::env(XILINX_BOARD) | ||||||
|  | 
 | ||||||
|  | # vcu118 board | ||||||
| set partNumber xcvu9p-flga2104-2L-e | set partNumber xcvu9p-flga2104-2L-e | ||||||
| set boardName  xilinx.com:vcu118:part0:2.4 | set boardName  xilinx.com:vcu118:part0:2.4 | ||||||
| 
 | 
 | ||||||
|  | # kcu105 board | ||||||
|  | #set partNumber  xcku040-ffva1156-2-e | ||||||
|  | #set boardName  xilinx.com:kcu105:part0:1.7 | ||||||
|  | 
 | ||||||
| set ipName xlnx_ahblite_axi_bridge | set ipName xlnx_ahblite_axi_bridge | ||||||
| 
 | 
 | ||||||
| create_project $ipName . -force -part $partNumber | create_project $ipName . -force -part $partNumber | ||||||
|  | |||||||
| @ -72,7 +72,7 @@ module ram #(parameter BASE=0, RANGE = 65535) ( | |||||||
|       RAM[10] = 64'h0004063705fe0010;  |       RAM[10] = 64'h0004063705fe0010;  | ||||||
|       RAM[11] = 64'h05a000ef8006061b;  |       RAM[11] = 64'h05a000ef8006061b;  | ||||||
|       RAM[12] = 64'h0ff003930000100f;  |       RAM[12] = 64'h0ff003930000100f;  | ||||||
|       RAM[13] = 64'h4e952e3110012e37; |       RAM[13] = 64'h4e952e3110060e37;  | ||||||
|       RAM[14] = 64'hc602829b0053f2b7;  |       RAM[14] = 64'hc602829b0053f2b7;  | ||||||
|       RAM[15] = 64'h2023fe02dfe312fd;  |       RAM[15] = 64'h2023fe02dfe312fd;  | ||||||
|       RAM[16] = 64'h829b0053f2b7007e;  |       RAM[16] = 64'h829b0053f2b7007e;  | ||||||
|  | |||||||
| @ -106,7 +106,7 @@ $(TARGET).memfile: $(TARGET) | |||||||
| 	@echo 'Making object dump file.' | 	@echo 'Making object dump file.' | ||||||
| 	@riscv64-unknown-elf-objdump -D $< > $<.objdump | 	@riscv64-unknown-elf-objdump -D $< > $<.objdump | ||||||
| 	@echo 'Making memory file' | 	@echo 'Making memory file' | ||||||
| 	exe2memfile0.pl $< | 	riscv64-unknown-elf-elf2hex --bit-width 64 --input $^ --output $@ | ||||||
| 	extractFunctionRadix.sh $<.objdump | 	extractFunctionRadix.sh $<.objdump | ||||||
| 	mkdir -p ../../imperas-riscv-tests/work/rv64BP/ | 	mkdir -p ../../imperas-riscv-tests/work/rv64BP/ | ||||||
| 	cp -f $(TARGETDIR)/* ../../imperas-riscv-tests/work/rv64BP/ | 	cp -f $(TARGETDIR)/* ../../imperas-riscv-tests/work/rv64BP/ | ||||||
|  | |||||||
| @ -61,7 +61,7 @@ _start: | |||||||
| 
 | 
 | ||||||
| 	# write to gpio | 	# write to gpio | ||||||
| 	li	t2, 0xFF | 	li	t2, 0xFF | ||||||
| 	la	t3, 0x1001200C | 	la	t3, 0x1006000C | ||||||
| 	li	t4, 5 | 	li	t4, 5 | ||||||
| 
 | 
 | ||||||
| loop: | loop: | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user