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

[dv] Add assert control for NoAlertsTriggered

Browse source 
Signed-off-by: Andreas Kurth <adk@lowrisc.org>
This commit is contained in:
Andreas Kurth 2022-10-26 10:38:37 +00:00 • committed by Andreas Kurth
parent c145ac3985
commit 2f7ff0cbf8
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
dv/uvm/core_ibex/tb/core_ibex_tb_top.sv
View file

@ -160,6 +160,7 @@ module core_ibex_tb_top;
// We should never see any alerts triggered in normal testing
`ASSERT(NoAlertsTriggered,
!dut_if.alert_minor && !dut_if.alert_major_internal && !dut_if.alert_major_bus, clk, !rst_n)
`DV_ASSERT_CTRL("tb_no_alerts_triggered", core_ibex_tb_top.NoAlertsTriggered)
// Data load/store vif connection
assign data_mem_vif.reset = ~rst_n;