)]}'
{
  "id": "bf4fe9a6f25f2fedce79c3f86580cc7d7aafdf3b",
  "repo": "3p/lowrisc/opentitan",
  "revision": "2615cf13b0ea3d51969fed9cfca48a1bb8158755",
  "path": "hw/formal/tools/jaspergold/fpv.tcl"
}