silabs-robin

> Perhaps these properties could be combined into a single property If the code is truly as duplicated as mentioned, then yes. A single property which takes as many arguments...

> thus I have disbled scoreboard checking for that particular CSR. I think that refers to this:  And it seems to have been fixed, because it no longer exists:...

@MikeOpenHWGroup Can his be closed?

See also https://github.com/openhwgroup/core-v-verif/issues/424 and https://github.com/openhwgroup/core-v-verif/issues/423

Closing based on: Lots of commits with improvements to the debug documentation have been pushed since the issue got created. Arjan reports his points have been addressed. The particular example...

One (bad) alternative: Yet another dummy package. ``` `define uvm_info(ID, MSG, VERBOSITY) ; `define uvm_warning(ID, MSG) ; `define uvm_error(ID, MSG) ; `define uvm_fatal(ID, MSG) ; `define uvm_component_utils_begin(TYPE) ; `define uvm_component_utils_end...

Status: This has been partially fixed, but there still remains https://github.com/openhwgroup/core-v-verif/blob/cv32e40s/dev/cv32e40s/fv/fv.flist

Status: I have moved files over as I have worked on them https://github.com/openhwgroup/core-v-verif/tree/cv32e40s/dev/cv32e40s/tb/assertions . (But, as I have not worked on all files, not all of them have been moved...

I think this is one of the points on my list https://github.com/openhwgroup/core-v-verif/issues/1076, _"Fix indices of toggle macros (the "imm"s are now aligned downto 0)"_. Using `get_data_imm` doesn't make sense, right?...

History: * Setup initial testbench-scripts * Port from 40x to 40s * Create future-plans github-issues * Add "formal" github-label * ? _(I might or might not maintain this list as...