github-mirrors/cva5
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva5.git synced 2025-04-20 12:07:53 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

assert fix

Browse source
This commit is contained in:
Eric Matthews 2019-09-03 17:25:44 -07:00
parent a773873f01
commit 38472acec5
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
core/id_tracking.sv
View file

@ -84,4 +84,8 @@ module id_tracking
////////////////////////////////////////////////////
//Assertions
always_ff @ (posedge clk) begin
assert (!(~id_available & issued)) else $error("Issued without valid ID!");
assert (!(empty & (retired & ~issued))) else $error("Retired without any instruction inflight!");
end
endmodule