github-mirrors/cvw
1
0
Fork 0
mirror of https://github.com/openhwgroup/cvw.git synced 2025-04-23 13:27:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

busybear: start adding CSR checking

Browse source 
@kaveh is there a less verbose way to do this?
This commit is contained in:
Noah Boorstin 2021-02-01 22:08:11 -05:00
parent bcb722272e
commit 38265c03b7
1 changed files with 26 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

26
wally-pipelined/testbench/testbench-busybear.sv
View file

@ -73,6 +73,16 @@ module testbench_busybear();
end
end
// read CSR trace file
integer data_file_csr, scan_file_csr;
initial begin
data_file_csr = $fopen("../busybear-testgen/parsedCSRs.txt", "r");
if (data_file_csr == 0) begin
$display("file couldn't be opened");
$stop;
end
end
// read memreads trace file
integer data_file_memR, scan_file_memR;
initial begin
@ -152,6 +162,22 @@ module testbench_busybear();
end
end
string CSRname;
logic [63:0] expectedCSR;
//CSR checking
always @(dut.priv.MTVEC_REGW) begin
if ($time != 1) begin
scan_file_csr = $fscanf(data_file_csr, "%s\n", CSRname);
scan_file_csr = $fscanf(data_file_csr, "%x\n", expectedCSR);
if(CSRname != "mtvec") begin
$display("%t ps, instr %0d: MTVEC changed, expected %s", $time, instrs, CSRname);
end
if(dut.priv.MTVEC_REGW != expectedCSR) begin
$display("%t ps, instr %0d: %s does not equal %s expected: %x, %x", $time, instrs, CSRname, CSRname, dut.priv.MTVEC_REGW, expectedCSR);
end
end
end
logic speculative;
initial begin
speculative = 0;