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

Remove unsynthesizable system task $stop

Browse source 
Synthesis tools throw warnings with system task $stop. Remove it.
This commit is contained in:
Ioannis Karageorgos 2019-05-14 15:08:48 -04:00 • committed by Pirmin Vogel
parent e87d0cc3e9
commit c221046c0c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
rtl/ibex_id_stage.sv
View file

@ -645,7 +645,7 @@ module ibex_id_stage #(
// make sure that branch decision is valid when jumping
assert property (
@(posedge clk_i) (branch_decision_i !== 1'bx || branch_in_id == 1'b0) ) else begin
$display("Branch decision is X"); $stop; end
$display("Branch decision is X"); end
`ifdef CHECK_MISALIGNED
assert property (