commit 5063fc557bd4a4cc90338d06d40609bd7e32b519
author Cindy Chen <chencindy@opentitan.org> Wed May 25 13:48:18 2022 -0700
committer Cindy Chen <cindy.chen0316@gmail.com> Fri May 27 09:20:24 2022 -0700
tree fab9e6a56d1f4164a395eda1c65eba2256eff641
parent 595576b22ee9a1c04046815b44702b1f5c5f2ba1

[dv/fpv] Add clkmgr to fpv sec cm script

This PR adds clkmgr_sec_cm list to run fpv regression.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>

hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson

diff --git a/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson b/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson
index 7333cca..195d4d0 100644
--- a/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson
+++ b/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson
@@ -432,6 +432,15 @@
                cov: false
              } */
              {
+               name: clkmgr_sec_cm
+               dut: clkmgr
+               fusesoc_core: lowrisc:dv:clkmgr_sva
+               import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_fpv_cfg.hjson"]
+               rel_path: "hw/ip/clkmgr/{sub_flow}/{tool}"
+               cov: false
+               task: "FpvSecCm"
+             }
+             {
                name: csrng_sec_cm
                dut: csrng
                fusesoc_core: lowrisc:dv:csrng_sva