cva6
cva6 copied to clipboard
Configure AXI assertion and coverage model for easy utilization of WT and HPDcache
Parametrize AXI assertion module to disable invalid assertions with HPDCache. Implementation of the HPDCache parameter in env_cfg to configure the AXI coverage model.