[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"]