{
  "schema": "header7f.timing-assets.v1",
  "renderer": {
    "name": "wavedrom",
    "version": "3.7.0"
  },
  "scope": "Author-curated teaching diagrams; not captured hardware evidence. Local static SVG with downloadable plain WaveJSON. No browser renderer.",
  "assets": [
    {
      "id": "axi-change-bresp",
      "title": "Fault: the response changes while waiting",
      "svgPath": "/assets/timing/axi-change-bresp-4010a10848439600.svg",
      "waveJsonPath": "/assets/timing/axi-change-bresp-4010a10848439600.wave.json",
      "width": 840,
      "height": 306,
      "sha256": "61915bfe5a5cdf89582cf9bdb19c760fedd351102dfce3e0781499c516be8976",
      "waveJsonSha256": "79a14d292f971a88652cfc2f4e867241d2004d69a88c95cd295fd32cf5f1e7b3",
      "version": "3.7.0",
      "provenance": {
        "checkerVersion": "0.1.0",
        "hardwareMeasurement": false,
        "input": "examples/axi-lite/change-bresp-fail.trace.json",
        "inputSha256": "edddbbec66c4b1557904cc9ae207277b1f165772548584aaf6eac9e93bf95c33",
        "kind": "executed-synthetic-trace",
        "result": "VIOLATIONS_FOUND",
        "sampleCount": 9,
        "violations": [
          {
            "cycle": 6,
            "rule": "H7F_AXI_BRESP_HOLD"
          }
        ]
      }
    },
    {
      "id": "axi-data-before-address",
      "title": "Write data can arrive before the address",
      "svgPath": "/assets/timing/axi-data-before-address-eda6b549f5f2f0df.svg",
      "waveJsonPath": "/assets/timing/axi-data-before-address-eda6b549f5f2f0df.wave.json",
      "width": 840,
      "height": 306,
      "sha256": "ed57a5fede5463e1ed6fcdf83f86df99c6ada24b69008edf01371f3db8174741",
      "waveJsonSha256": "a9fb95ca04badab6782dd5a6213779f79b361f1d968fb1a7ad85f7b9ecb569e1",
      "version": "3.7.0",
      "provenance": {
        "checkerVersion": "0.1.0",
        "hardwareMeasurement": false,
        "input": "examples/axi-lite/data-before-address-pass.trace.json",
        "inputSha256": "b4d4aa5732205b7b62e2eecf6ae6aa788c7444b52a342cf8c152f8c78def8811",
        "kind": "executed-synthetic-trace",
        "result": "PASS_SELECTED_CHECKS",
        "sampleCount": 9,
        "violations": []
      }
    },
    {
      "id": "axi-drop-bvalid",
      "title": "Fault: the response disappears before acceptance",
      "svgPath": "/assets/timing/axi-drop-bvalid-f6a9e4b1598555d2.svg",
      "waveJsonPath": "/assets/timing/axi-drop-bvalid-f6a9e4b1598555d2.wave.json",
      "width": 840,
      "height": 306,
      "sha256": "eab0513713c6561c4c0b29ce8aa65f66637f4f45de44d67764781f76bc9ec676",
      "waveJsonSha256": "508f6eaa159ed8e63e7ca363cfeb61ae29f09fe72eece784b35219a3cb4fe2f8",
      "version": "3.7.0",
      "provenance": {
        "checkerVersion": "0.1.0",
        "hardwareMeasurement": false,
        "input": "examples/axi-lite/drop-bvalid-fail.trace.json",
        "inputSha256": "c61c32ffecab6fe8356c0d13f6181a25550a5d3dc28ca9a66b1d0b207a3aeacd",
        "kind": "executed-synthetic-trace",
        "result": "VIOLATIONS_FOUND",
        "sampleCount": 9,
        "violations": [
          {
            "cycle": 6,
            "rule": "H7F_AXI_BVALID_HOLD"
          }
        ]
      }
    },
    {
      "id": "axi-early-response",
      "title": "Fault: a response arrives before write data",
      "svgPath": "/assets/timing/axi-early-response-1b554ded158168a5.svg",
      "waveJsonPath": "/assets/timing/axi-early-response-1b554ded158168a5.wave.json",
      "width": 840,
      "height": 306,
      "sha256": "e5ded133484f8c8a9c70fa281162a08e18d0970649018e9b44dd82205db49696",
      "waveJsonSha256": "3b645cf0eb737c44e4e64286a1ad5684fe98bde66241af0e4a5d5dcc7ea56a9d",
      "version": "3.7.0",
      "provenance": {
        "checkerVersion": "0.1.0",
        "hardwareMeasurement": false,
        "input": "examples/axi-lite/early-response-fail.trace.json",
        "inputSha256": "6b76f2755ba292bd9af3dbd5979073e7043bd3534521bfd8a918887668cf26bb",
        "kind": "executed-synthetic-trace",
        "result": "VIOLATIONS_FOUND",
        "sampleCount": 9,
        "violations": [
          {
            "cycle": 3,
            "rule": "H7F_AXI_B_AFTER_AW_W"
          }
        ]
      }
    },
    {
      "id": "axi-held-response",
      "title": "Keep the response until it is accepted",
      "svgPath": "/assets/timing/axi-held-response-95405f19e6aa8ca6.svg",
      "waveJsonPath": "/assets/timing/axi-held-response-95405f19e6aa8ca6.wave.json",
      "width": 840,
      "height": 306,
      "sha256": "9952986d9a313ec11a2a51afc917bcc349cd13951137b0dd9a0492a9947150f8",
      "waveJsonSha256": "38e5120787fb1afe1aff70568b800e911eb66cb3690aea15341f1cf23fa57c30",
      "version": "3.7.0",
      "provenance": {
        "checkerVersion": "0.1.0",
        "hardwareMeasurement": false,
        "input": "examples/axi-lite/held-response-pass.trace.json",
        "inputSha256": "9a34a9cbdb4fedeac44aa5d3beed18f131e7da458e6e522d0aac83ce6ee40938",
        "kind": "executed-synthetic-trace",
        "result": "PASS_SELECTED_CHECKS",
        "sampleCount": 9,
        "violations": []
      }
    },
    {
      "id": "pcie-startup-readiness",
      "title": "Build one startup record across three evidence bands",
      "svgPath": "/assets/timing/pcie-startup-readiness-2214f50b15fa9fa2.svg",
      "waveJsonPath": "/assets/timing/pcie-startup-readiness-2214f50b15fa9fa2.wave.json",
      "width": 580,
      "height": 136,
      "sha256": "ef6c08cc4cda68895a5c4b396ea1c994a984c6be36de46e54fcec755cc6349e2",
      "waveJsonSha256": "2eabc1d11420784d3a22ecbd10fe11577aa42165ac3c4d477edc50ad35093c6d",
      "version": "3.7.0",
      "provenance": {
        "hardwareMeasurement": false,
        "kind": "authored-qualitative-evidence-checklist",
        "timingConstraint": false
      }
    }
  ],
  "notices": {
    "path": "/assets/timing/LICENSE.txt",
    "sha256": "9597c58464b4ccab3a02c6949a06261cf5c1d829076411a68e4870fe02d977a7",
    "packages": [
      {
        "name": "ansi-regex",
        "version": "5.0.1",
        "license": "MIT"
      },
      {
        "name": "ansi-styles",
        "version": "4.3.0",
        "license": "MIT"
      },
      {
        "name": "bit-field",
        "version": "1.9.0",
        "license": "MIT"
      },
      {
        "name": "cliui",
        "version": "8.0.1",
        "license": "ISC"
      },
      {
        "name": "color-convert",
        "version": "2.0.1",
        "license": "MIT"
      },
      {
        "name": "color-name",
        "version": "1.1.4",
        "license": "MIT"
      },
      {
        "name": "emoji-regex",
        "version": "8.0.0",
        "license": "MIT"
      },
      {
        "name": "escalade",
        "version": "3.2.0",
        "license": "MIT"
      },
      {
        "name": "estraverse",
        "version": "5.3.0",
        "license": "BSD-2-Clause"
      },
      {
        "name": "fs-extra",
        "version": "11.4.1",
        "license": "MIT"
      },
      {
        "name": "get-caller-file",
        "version": "2.0.5",
        "license": "ISC"
      },
      {
        "name": "graceful-fs",
        "version": "4.2.11",
        "license": "ISC"
      },
      {
        "name": "is-fullwidth-code-point",
        "version": "3.0.0",
        "license": "MIT"
      },
      {
        "name": "json5",
        "version": "2.2.3",
        "license": "MIT"
      },
      {
        "name": "jsonfile",
        "version": "6.2.1",
        "license": "MIT"
      },
      {
        "name": "logidrom",
        "version": "1.0.0",
        "license": "MIT"
      },
      {
        "name": "onml",
        "version": "2.3.0",
        "license": "MIT"
      },
      {
        "name": "require-directory",
        "version": "2.1.1",
        "license": "MIT"
      },
      {
        "name": "sax",
        "version": "1.6.1",
        "license": "BlueOak-1.0.0"
      },
      {
        "name": "string-width",
        "version": "4.2.3",
        "license": "MIT"
      },
      {
        "name": "strip-ansi",
        "version": "6.0.1",
        "license": "MIT"
      },
      {
        "name": "tspan",
        "version": "0.4.0",
        "license": "MIT"
      },
      {
        "name": "universalify",
        "version": "2.0.1",
        "license": "MIT"
      },
      {
        "name": "wavedrom",
        "version": "3.7.0",
        "license": "MIT"
      },
      {
        "name": "wrap-ansi",
        "version": "7.0.0",
        "license": "MIT"
      },
      {
        "name": "y18n",
        "version": "5.0.8",
        "license": "ISC"
      },
      {
        "name": "yargs",
        "version": "17.7.3",
        "license": "MIT"
      },
      {
        "name": "yargs-parser",
        "version": "21.1.1",
        "license": "ISC"
      }
    ]
  }
}