{
  "kind": "sequential",
  "clock": {
    "name": "clk",
    "period_ns": 10,
    "initial": 0
  },
  "reset": {
    "name": "rst",
    "active": 1,
    "cycles": 2
  },
  "inputs": [],
  "outputs": [],
  "observes": [
    {
      "name": "cnt",
      "expr": "dut.cnt",
      "width": 4
    }
  ],
  "max_cycles": 7,
  "auto_stimulus": {
    "enabled": false
  },
  "assertions": [
    {
      "name": "cycle_cnt_1",
      "cycle": 2,
      "expect": {
        "cnt": 1
      }
    },
    {
      "name": "always_cnt_ge_1",
      "cycle": 2,
      "mode": "always",
      "within": 2,
      "expect": {
        "cnt": {
          "op": "ge",
          "value": 1
        }
      }
    },
    {
      "name": "never_cnt_eq_0",
      "cycle": 2,
      "mode": "never",
      "within": 2,
      "expect": {
        "cnt": 0
      }
    },
    {
      "name": "until_cnt_lt_4_until_4",
      "cycle": 2,
      "mode": "until",
      "within": 3,
      "expect": {
        "cnt": {
          "op": "lt",
          "value": 4
        }
      },
      "until_expect": {
        "cnt": 4
      }
    }
  ]
}