)]}'
{
  "commit": "d5aefc7121606487f45a043690d0ccc17c0b1bd2",
  "tree": "23293b95fa8bc2dc9ce897610093933ca4920181",
  "parents": [
    "291d911f3bc8d4c2cc00628ca493eb6d32b7722c"
  ],
  "author": {
    "name": "Cindy Chen",
    "email": "chencindy@opentitan.org",
    "time": "Wed Mar 02 19:07:51 2022 -0800"
  },
  "committer": {
    "name": "cindychip",
    "email": "cindy.chen0316@gmail.com",
    "time": "Fri Mar 04 10:50:56 2022 -0800"
  },
  "message": "[fpv/csr] Enable checking CSRs with regwen\n\nThis PR enables formal to check CSRs regs which could be gated by\nregwen.\nThe regwen can be HRO or HRW, so we need to probe to see the regwen\nvalue. Because DV and FPV testbench has a slightly different path, we\nuse `FPV_ON` macro to distinguish which path to use.\n\nSigned-off-by: Cindy Chen \u003cchencindy@opentitan.org\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d6c56e4b13848eac3c8663dafc897c4efe080f76",
      "old_mode": 33188,
      "old_path": "util/reggen/fpv_csr.sv.tpl",
      "new_id": "b2dcd40270c493943d82c34756feb951454cd471",
      "new_mode": 33188,
      "new_path": "util/reggen/fpv_csr.sv.tpl"
    },
    {
      "type": "modify",
      "old_id": "d492b6674bc5cec45bbf01fbe0790df618db8eb0",
      "old_mode": 33188,
      "old_path": "util/reggen/gen_fpv.py",
      "new_id": "84d41819a519e4827d89418b00dc627cb297626d",
      "new_mode": 33188,
      "new_path": "util/reggen/gen_fpv.py"
    }
  ]
}