[dv] Cleanup Xcelium warning: XProp related
- Added `-xverbose` elab option by default - this does not impact the
build time significantly.
- Added `xflags` to enable array corruption on invalid / oob index -
suggested by Xcelium
Signed-off-by: Srikrishna Iyer <sriyer@google.com>
diff --git a/hw/dv/data/xcelium/xcelium.hjson b/hw/dv/data/xcelium/xcelium.hjson
index 4a56842..2f1e2a1 100644
--- a/hw/dv/data/xcelium/xcelium.hjson
+++ b/hw/dv/data/xcelium/xcelium.hjson
@@ -33,6 +33,11 @@
// Poll for an available license every 1 min.
CDS_LIC_QUEUE_POLL_INT: 60
+ // X-prop related: these were suggested by Xcelium as warnings during the build time.
+ // These enable array corruption when the index is out of range or invalid.
+ VL_ENABLE_INVALID_IDX_XPROP: 1
+ VL_ENABLE_OUTOFRANGE_IDX_XPROP: 1
+
// Export the cov_report path so that the tcl file can read these as env vars.
cov_merge_db_dir: "{cov_merge_db_dir}"
cov_report_dir: "{cov_report_dir}"
@@ -122,8 +127,7 @@
{
name: xcelium_xprop
is_sim_mode: 1
- # -xverbose << add to see which modules does not have xprop enabled
- build_opts: ["-xprop F"]
+ build_opts: ["-xprop F -xverbose"]
}
{
// TODO: Add build and run options to enable zero delay loop detection.
