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

[rtl] Add SVA to ensure valid_i in compressed decoder is known

Browse source 
This signal is used to gate several assertions related to
unknown/invalid selector signals. We want to be sure to catch any X
values entering the compressed decoder and ultimately ID.

This is related to lowRISC/Ibex#540.

Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
This commit is contained in:
Pirmin Vogel 2021-04-06 15:12:47 +02:00
parent 8d37af2751
commit a799a92e5e
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
rtl/ibex_compressed_decoder.sv
View file

@ -282,6 +282,9 @@ module ibex_compressed_decoder (
// Assertions //
////////////////
// The valid_i signal used to gate below assertions must be known.
`ASSERT_KNOWN(IbexInstrValidKnown, valid_i)
// Selectors must be known/valid.
`ASSERT(IbexInstrLSBsKnown, valid_i |->
!$isunknown(instr_i[1:0]))