colin
/
Hazard3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add keep wires for debug port on bus compliance tb

This commit is contained in:
Luke Wren 2021-12-11 12:06:10 +00:00
parent 6edfbfae8b
commit 52d58fdee4
1 changed files with 82 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/formal/bus_compliance_2port/tb.v
View File

@ -37,7 +37,23 @@ always @ (posedge clk)
(* keep *) wire [31:0] d_hwdata;
(* keep *) wire [31:0] d_hrdata;
(* keep *) reg [15:0] irq;
localparam W_DATA = 32;
(* keep *) wire dbg_req_halt;
(* keep *) wire dbg_req_halt_on_reset;
(* keep *) wire dbg_req_resume;
(* keep *) wire dbg_halted;
(* keep *) wire dbg_running;
(* keep *) wire [W_DATA-1:0] dbg_data0_rdata;
(* keep *) wire [W_DATA-1:0] dbg_data0_wdata;
(* keep *) wire dbg_data0_wen;
(* keep *) wire [W_DATA-1:0] dbg_instr_data;
(* keep *) wire dbg_instr_data_vld;
(* keep *) wire dbg_instr_data_rdy;
(* keep *) wire dbg_instr_caught_exception;
(* keep *) wire dbg_instr_caught_ebreak;
(* keep *) wire [15:0] irq;
hazard3_cpu_2port dut (
.clk (clk),
@ -69,6 +85,20 @@ hazard3_cpu_2port dut (
.d_hwdata (d_hwdata),
.d_hrdata (d_hrdata),
.dbg_req_halt (dbg_req_halt),
.dbg_req_halt_on_reset (dbg_req_halt_on_reset),
.dbg_req_resume (dbg_req_resume),
.dbg_halted (dbg_halted),
.dbg_running (dbg_running),
.dbg_data0_rdata (dbg_data0_rdata),
.dbg_data0_wdata (dbg_data0_wdata),
.dbg_data0_wen (dbg_data0_wen),
.dbg_instr_data (dbg_instr_data),
.dbg_instr_data_vld (dbg_instr_data_vld),
.dbg_instr_data_rdy (dbg_instr_data_rdy),
.dbg_instr_caught_exception (dbg_instr_caught_exception),
.dbg_instr_caught_ebreak (dbg_instr_caught_ebreak),
.irq (irq)
);