commit 1af624f21c7eaa685b73d37d3e358c34dfbfb2e3
author Cindy Chen <chencindy@opentitan.org> Fri Jul 16 15:22:24 2021 -0700
committer cindychip <cindy.chen0316@gmail.com> Fri Jul 16 23:38:38 2021 -0700
tree 4a9f0d275f774f89b60f615ea4339bae24fb50d0
parent 9d4ed87ba4fb454d15e9395430a7203fae62276b

[fpv/batch] Add two more modules to FPV batch script

This PR adds two alert_handler related FPV targets to the FPV batch
script.

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 a1f655d..1aada2f 100644
--- a/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson
+++ b/hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson
@@ -19,6 +19,20 @@
              // TODO: if we default "_fpv" cov to be on, and the rest of the tbs cov off, need a
              // command-line switch to disable cov.
              {
+              name: alert_handler_esc_timer_fpv
+              fusesoc_core:lowrisc:fpv:alert_handler_esc_timer_fpv
+              import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_fpv_cfg.hjson"]
+              rel_path: "hw/ip/alert_handler/alert_handler_esc_timer/{sub_flow}/{tool}"
+              cov: true
+             }
+             {
+              name: alert_handler_ping_timer_fpv
+              fusesoc_core:lowrisc:fpv:alert_handler_ping_timer_fpv
+              import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_fpv_cfg.hjson"]
+              rel_path: "hw/ip/alert_handler/alert_handler/ping_timer/{sub_flow}/{tool}"
+              cov: true
+             }
+             {
                name: prim_arbiter_ppc_fpv
                fusesoc_core: lowrisc:fpv:prim_arbiter_ppc_fpv
                import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_fpv_cfg.hjson"]