data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv
1: b"%Error: data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv:284: syntax error, unexpected '@', expecting ';'\ndefault clocking c0 @(posedge CLK); endclocking\n                    ^\n%Error: data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv:312: syntax error, unexpected property, expecting '#' or final\nassume_valid_idata: assume property( \n                           ^~~~~~~~\n%Error: data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv:316: syntax error, unexpected property, expecting '#' or final\nassume_imm_nonzero: assume property(\n                           ^~~~~~~~\n%Error: data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv:326: syntax error, unexpected property, expecting '#' or final\nassumme_rx_nonzero: assume property(\n                           ^~~~~~~~\n%Error: data/full_repos/permissive/426018168/src/sva/sva_darkriscv.sv:340: syntax error, unexpected ##, expecting TYPE-IDENTIFIER\n assert_WR_2_after_store: assert property( (IDATA ==? SW) |-> ##2 darkriscv.WR );\n                                                              ^~\n%Error: Exiting due to 5 error(s)\n"
function bit [6:0] opcode (bit [31:0] idata);
	opcode = idata[6:0];
endfunction
function bit [6:0] opcode (bit [31:0] idata);

	opcode = idata[6:0];
endfunction