)]}'
{
  "commit": "fd1d80fd914472aa14f57ed80a7b24e20a723f7b",
  "tree": "71f7ea006bd537964c7a56544b3ece014102c12a",
  "parents": [
    "f5e710ca42580ab9c43c5b1e7d0a1f88fd8bd37f"
  ],
  "author": {
    "name": "Cindy Chen",
    "email": "chencindy@opentitan.org",
    "time": "Tue Feb 22 17:58:49 2022 -0800"
  },
  "committer": {
    "name": "cindychip",
    "email": "cindy.chen0316@gmail.com",
    "time": "Wed Feb 23 10:46:09 2022 -0800"
  },
  "message": "[fpv] V2S formal support\n\nThis PR sets up the FPV environment to support V2S formal:\n1). Add a `task` enviornment input to indicate which subsets of\n  assertions to run.\n2). Relax original `prim_assert_sec_cm.svh` alert timing because FPV\n  might trigger other fatal alerts.\n3). Enable the FPV checks in sram_ctrl.\n\nSigned-off-by: Cindy Chen \u003cchencindy@opentitan.org\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8f28dd21b487988780a83da7627f3cb7c8a53254",
      "old_mode": 33188,
      "old_path": "hw/formal/tools/dvsim/common_fpv_cfg.hjson",
      "new_id": "2e116651194dd5206fb68a8b4e7980288f314094",
      "new_mode": 33188,
      "new_path": "hw/formal/tools/dvsim/common_fpv_cfg.hjson"
    },
    {
      "type": "modify",
      "old_id": "7df93287eb00677c94bf07e2ee2f0622c71c8bd3",
      "old_mode": 33188,
      "old_path": "hw/formal/tools/jaspergold/fpv.tcl",
      "new_id": "bd2805ecebc9a417b66326283d33352cd890ad0c",
      "new_mode": 33188,
      "new_path": "hw/formal/tools/jaspergold/fpv.tcl"
    },
    {
      "type": "modify",
      "old_id": "4bb4c6a7be125b3fd17459ae0588841bce6e15ab",
      "old_mode": 33188,
      "old_path": "hw/ip/prim/rtl/prim_alert_sender.sv",
      "new_id": "e30638489fe1ee29956a188073fffe843c97edb7",
      "new_mode": 33188,
      "new_path": "hw/ip/prim/rtl/prim_alert_sender.sv"
    },
    {
      "type": "modify",
      "old_id": "4f5da10bfdef5154caddf299deb9ca226c525749",
      "old_mode": 33188,
      "old_path": "hw/ip/prim/rtl/prim_assert_sec_cm.svh",
      "new_id": "92a44be2edc156ef304c91fc32c8c817acc91301",
      "new_mode": 33188,
      "new_path": "hw/ip/prim/rtl/prim_assert_sec_cm.svh"
    },
    {
      "type": "modify",
      "old_id": "b9a0eaabb9c53a30b5e3caf6fa96ca802663a926",
      "old_mode": 33188,
      "old_path": "hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson",
      "new_id": "da5032bf983c4420f551debdf3a550e9b9a6b34f",
      "new_mode": 33188,
      "new_path": "hw/top_earlgrey/formal/top_earlgrey_fpv_cfgs.hjson"
    }
  ]
}