openhwgroup / core-v-verif

Functional verification project for the CORE-V family of RISC-V cores.

Home Page:https://docs.openhwgroup.org/projects/core-v-verif/en/latest/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Assertion failure not firing under VCS on CV32E20 simulations

MikeOpenHWGroup opened this issue · comments

While reviewing pull-request #2240 it was discovered that a set of assertions that should be firing were not firing when simulating with VCS. See the PR for details. It is likely that the Makefiles for VCS has either disabled asserts or perhaps failed to enable them.