Illegal DefParam in isacov

Type

This is a compile-time error that was flagged by Metrics DSIM. It seems that Synopsys VCS accepts this code construct.

Description

The issue is on line 41 of uvma_rvfi_instr_mon.sv. DSIM reports that:

A name of the form uvma_rvfi_csr_seq_item_c::XLEN where uvma_rvfi_csr_seq_item_c is    
the default specialization of a parameterized class                                    
is not valid.  Try uvma_rvfi_csr_seq_item_c#()::XLEN instead.

Making the suggested change resolves the issue.

Additional Context

This issue was found on the cva6/dev branch of this repo.