Skip to content

Commit 0292103

Browse files
committed
[csrng/dv] Add a crosspoint for generate command
Add a crosspoint that crosses the generate command with both the command length (clen) and generate length (glen) to ensure that generates with additional data and more than one block of generated bits are exercised. Signed-off-by: Florian Glaser <[email protected]>
1 parent d65c384 commit 0292103

File tree

1 file changed

+10
-0
lines changed

1 file changed

+10
-0
lines changed

hw/ip/csrng/dv/cov/csrng_cov_if.sv

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -365,6 +365,16 @@ interface csrng_cov_if (
365365
ignore_bins invalid = binsof(cp_acmd) intersect { INV, GENB, GENU };
366366
}
367367

368+
clen_glen_cross: cross cp_acmd, cp_clen, cp_glen {
369+
bins gen_glen_clen = binsof(cp_acmd) intersect { GEN } &&
370+
binsof(cp_clen) intersect { [1:$] } &&
371+
binsof(cp_glen) intersect { [2:$] };
372+
// We are only interested in Generate commands in this crosspoint (and glen has no meaning
373+
// for all other commands)
374+
ignore_bins ignore_other_cmds = binsof(cp_acmd) intersect
375+
{ INS, UNI, UPD, RES, INV, GENB, GENU };
376+
}
377+
368378
flags_clen_acmd_cross: cross cp_acmd, cp_flags, cp_clen {
369379
// Use only Entropy Source seed
370380
bins ins_only_entropy_src_seed = binsof(cp_flags) intersect { MuBi4False } &&

0 commit comments

Comments
 (0)