Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Busybear: start checking CSRs

Browse Source 
scounteren and mcounteren are currenly manually deleted from the CSRs list
(see slack channl #linux-bringup)

and 3 of the CSRs referenced are skipped because of weird locations for them

oh and this doesn't check their initial state, just their changing. This could be a problem
This commit is contained in:
Noah Boorstin 2021-02-02 06:06:03 +00:00
parent 9d7e242596
commit 8d53e36bbc
1 changed files with 27 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
wally-pipelined/testbench/testbench-busybear.sv
View File

@ -162,21 +162,33 @@ module testbench_busybear();
end end
end end
string CSRname; `define CHECK_CSR(CSR) \
logic [63:0] expectedCSR; string CSR; \
//CSR checking logic [63:0] expected``CSR``; \
always @(dut.priv.MTVEC_REGW) begin //CSR checking \
if ($time != 1) begin always @(dut.priv.csr.``CSR``_REGW) begin \
scan_file_csr = $fscanf(data_file_csr, "%s\n", CSRname); if ($time > 1) begin \
scan_file_csr = $fscanf(data_file_csr, "%x\n", expectedCSR); scan_file_csr = $fscanf(data_file_csr, "%s\n", CSR); \
if(CSRname != "mtvec") begin scan_file_csr = $fscanf(data_file_csr, "%x\n", expected``CSR``); \
$display("%t ps, instr %0d: MTVEC changed, expected %s", $time, instrs, CSRname); if(CSR.icompare(`"CSR`")) begin \
end $display("%t ps, instr %0d: %s changed, expected %s", $time, instrs, `"CSR`", CSR); \
if(dut.priv.MTVEC_REGW != expectedCSR) begin end \
$display("%t ps, instr %0d: %s does not equal %s expected: %x, %x", $time, instrs, CSRname, CSRname, dut.priv.MTVEC_REGW, expectedCSR); if(dut.priv.csr.``CSR``_REGW != ``expected``CSR) begin \
end $display("%t ps, instr %0d: %s does not equal %s expected: %x, %x", $time, instrs, CSR, CSR, dut.priv.csr.``CSR``_REGW, ``expected``CSR); \
end end \
end end \
end
//`CHECK_CSR(FCSR)
`CHECK_CSR(MCOUNTEREN)
`CHECK_CSR(MEDELEG)
`CHECK_CSR(MIDELEG)
`CHECK_CSR(MIE)
//`CHECK_CSR(MSCRATCH)
`CHECK_CSR(MSTATUS)
`CHECK_CSR(MTVEC)
//`CHECK_CSR(SATP)
`CHECK_CSR(SCOUNTEREN)
logic speculative; logic speculative;
initial begin initial begin