{
  "schema": "header7f.axi-lite-trace.v1",
  "name": "Injected fault: response before write-data acceptance",
  "provenance": "synthetic hand-authored protocol edge samples; not captured RTL or hardware",
  "samples": [
    {
      "cycle": 0,
      "ARESETn": 0,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 1,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 2,
      "ARESETn": 1,
      "AWVALID": 1,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 3,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 1,
      "BREADY": 1,
      "BRESP": 0
    },
    {
      "cycle": 4,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 1,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 5,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 6,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 7,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    },
    {
      "cycle": 8,
      "ARESETn": 1,
      "AWVALID": 0,
      "AWREADY": 1,
      "WVALID": 0,
      "WREADY": 1,
      "BVALID": 0,
      "BREADY": 0,
      "BRESP": 0
    }
  ]
}