github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 04:47:25 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix typo in last commit

Browse source
This commit is contained in:
Andreas Traber 2015-10-16 14:34:33 +02:00
parent 7936609c2a
commit 97a3ded4e3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
load_store_unit.sv
View file

@ -469,6 +469,6 @@ module riscv_load_store_unit
// there should be no rvalid when we are in IDLE
assert property (
@(posedge clk) (CS == IDLE)) |-> (data_rvalid_i == 1'b0) );
@(posedge clk) (CS == IDLE) |-> (data_rvalid_i == 1'b0) );
endmodule