{
  "dataset_id": "D2",
  "title": "Open IP integration evidence",
  "schema_version": "1.0",
  "compiled_at_utc": "2026-10-25T02:45:12.780866+00:00",
  "checked_local_date": "2026-10-24",
  "timezone": "America/Denver",
  "license": "CC-BY-4.0",
  "license_scope": "Original compilation and observations only. Upstream documentation, software, HDL, patents and other rights remain separate.",
  "attribution": "Open IP integration evidence — original compilation, 2026-10-24",
  "comparison_attributes": [
    "core_function",
    "rtl_language",
    "bus_interfaces",
    "clock_reset_semantics",
    "address_data_width",
    "configuration_mechanism",
    "register_map",
    "interrupts",
    "software_drivers",
    "memory_interfaces",
    "ip_dependencies",
    "build_manifest",
    "testbench",
    "supported_simulators",
    "formal_collateral",
    "clock_constraints",
    "implementation_examples",
    "licence_scope",
    "maintenance_status",
    "known_limits"
  ],
  "row_count": 20,
  "observation_scope": "Primary documentation and pinned repository inspection; no tool, core, simulation, synthesis, implementation or licence-compliance test was executed for this dataset.",
  "unknown_policy": "A null cell means not verified in the inspected source set, not absent from the project. A documented file is not proof that its flow passes.",
  "notes": [
    "20 comparison records cover 19 repositories. AES and HMAC share the OpenTitan repository; libraries and related projects are not claimed to be independent.",
    "The PULP APB I2C record replaces an unpinned OpenCores project-page entry. Its inherited controller notices are visible, but the adapter licence remains unresolved.",
    "PicoRV32, verilog-ethernet and verilog-axi retain explicit upstream maintenance/deprecation qualifications.",
    "Register descriptions include CSR prose, HJSON, SystemRDL and CMSIS-SVD. No IP-XACT support is inferred from another register format.",
    "Filter labels indicate observed collateral categories, not completeness, quality, security, certification or fitness for tapeout."
  ],
  "rows": [
    {
      "record_id": "IP01",
      "item_name": "Ibex",
      "repository_url": "https://github.com/lowRISC/ibex",
      "pinned_commit": "a896ef22777a40ad3f5a2a3b97fecd5116480c4c",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP01-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP01-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP01-F01",
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP01-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/03_reference/cs_registers.rst",
              "path": "doc/03_reference/cs_registers.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP01-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/examples/sw/simple_system/hello_test/hello_test.c",
              "path": "examples/sw/simple_system/hello_test/hello_test.c"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP01-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/doc/02_user/integration.rst",
              "path": "doc/02_user/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP01-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/ibex_core.core",
              "path": "ibex_core.core"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP01-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/dv/formal/README.md",
              "path": "dv/formal/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP01-F01",
            "IP01-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/examples/sw/simple_system/hello_test/hello_test.c",
              "path": "examples/sw/simple_system/hello_test/hello_test.c"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP01-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP01-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "32-bit RISC-V CPU",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "Separate instruction and data request/grant interfaces",
      "clock_reset_semantics": "clk_i; active-low asynchronous rst_ni; separate scan reset",
      "address_data_width": "32-bit CPU; memory data 32 or 39 bits with integrity",
      "configuration_mechanism": "Elaboration parameters and supported configuration profiles",
      "register_map": "CSR reference table; not an observed IP-XACT file",
      "interrupts": "irq inputs listed in integration ports",
      "software_drivers": "Simple-system hello C example; not a general peripheral driver",
      "memory_interfaces": "Separate instruction/data ports and optional instruction-cache RAM configuration",
      "ip_dependencies": "Primitive clock, reset, RAM and lockstep-related dependencies vary with configuration",
      "build_manifest": "FuseSoC ibex_core.core",
      "testbench": null,
      "supported_simulators": null,
      "formal_collateral": "Formal README describes trace equivalence flow; not executed here",
      "clock_constraints": null,
      "implementation_examples": "Simple System simulation integration",
      "licence_scope": "Apache-2.0 root licence; dependent components require separate review",
      "maintenance_status": null,
      "known_limits": "README makes verification readiness configuration-specific and leaves tapeout assessment to users",
      "licence_files": [
        {
          "url": "https://github.com/lowRISC/ibex/blob/a896ef22777a40ad3f5a2a3b97fecd5116480c4c/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Native request/grant"
        ],
        "licence": [
          "Apache-2.0"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Formal collateral",
          "Integration example"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP02",
      "item_name": "PicoRV32",
      "repository_url": "https://github.com/YosysHQ/picorv32",
      "pinned_commit": "ef203c2b0a3fb793280f5114941416c425c5b461",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP02-F01",
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP02-F01",
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP02-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/firmware/firmware.h",
              "path": "firmware/firmware.h"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP02-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.v",
              "path": "picorv32.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP02-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/picorv32.core",
              "path": "picorv32.core"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP02-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/testbench.v",
              "path": "testbench.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "documented",
          "source_ids": [
            "IP02-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/scripts/vivado/synth_system.xdc",
              "path": "scripts/vivado/synth_system.xdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP02-F06",
            "IP02-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/firmware/firmware.h",
              "path": "firmware/firmware.h"
            },
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/scripts/vivado/synth_system.xdc",
              "path": "scripts/vivado/synth_system.xdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP02-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/COPYING",
              "path": "COPYING"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP02-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Configurable RV32 CPU",
      "rtl_language": "Verilog",
      "bus_interfaces": "Native memory, AXI4-Lite and Wishbone wrappers",
      "clock_reset_semantics": "clk and active-low resetn; selected core reset sampled on clock edge",
      "address_data_width": "32-bit memory address and data ports",
      "configuration_mechanism": "Verilog parameters, including ISA features and reset address",
      "register_map": "Instruction/CSR and custom IRQ descriptions in README",
      "interrupts": "Optional 32-bit IRQ input and custom interrupt handling",
      "software_drivers": "Firmware header with custom-instruction helpers; not a portable OS driver",
      "memory_interfaces": "One native memory port; optional look-ahead and PCPI ports",
      "ip_dependencies": null,
      "build_manifest": "FuseSoC picorv32.core",
      "testbench": "Verilog testbench with memory and firmware loading",
      "supported_simulators": "Icarus testbench flow documented",
      "formal_collateral": "README points to RISC-V Formal verification integration",
      "clock_constraints": "Vivado example XDC constraints",
      "implementation_examples": "Firmware and Vivado example files",
      "licence_scope": "ISC root licence",
      "maintenance_status": "README explicitly says no longer under active development",
      "known_limits": "Wrapper choice changes the bus contract; IRQ extension is not a generic platform interrupt controller",
      "licence_files": [
        {
          "url": "https://github.com/YosysHQ/picorv32/blob/ef203c2b0a3fb793280f5114941416c425c5b461/COPYING",
          "path": "COPYING"
        }
      ],
      "filter_values": {
        "interface": [
          "Native memory",
          "AXI4-Lite",
          "Wishbone"
        ],
        "licence": [
          "ISC"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Simulation testbench",
          "Formal collateral",
          "Timing constraints",
          "Integration example"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP03",
      "item_name": "NEORV32",
      "repository_url": "https://github.com/stnolting/neorv32",
      "pinned_commit": "7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP03-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP03-F01",
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP03-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP03-F01",
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP03-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/sw/svd/README.md",
              "path": "sw/svd/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP03-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP03-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/sw/lib/README.md",
              "path": "sw/lib/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "build_manifest": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP03-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/sim/README.md",
              "path": "sim/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP03-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/sim/README.md",
              "path": "sim/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP03-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP03-F02",
            "IP03-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/LICENSE",
              "path": "LICENSE"
            },
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/sw/svd/README.md",
              "path": "sw/svd/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP03-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/rtl/core/neorv32_top.vhd",
              "path": "rtl/core/neorv32_top.vhd"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Configurable 32-bit RISC-V CPU and SoC",
      "rtl_language": "VHDL",
      "bus_interfaces": "Wishbone-compatible external XBUS; AXI integration bridge referenced",
      "clock_reset_semantics": "Rising-edge clk_i; low-active asynchronous rstn_i",
      "address_data_width": "32-bit CPU and external bus",
      "configuration_mechanism": "VHDL top-level generics select CPU extensions, memories and peripherals",
      "register_map": "CMSIS-SVD description maintained from software headers",
      "interrupts": "Machine interrupts plus 16 fast IRQ channels documented",
      "software_drivers": "C HAL, runtime and helper library",
      "memory_interfaces": "Configurable internal memories, caches and external bus",
      "ip_dependencies": null,
      "build_manifest": null,
      "testbench": "Simulation directory documents test setup",
      "supported_simulators": "GHDL scripts documented in simulation README",
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "System-integration bridges and FPGA-oriented integration described",
      "licence_scope": "BSD-3-Clause repository licence; referenced CMSIS format has separate terms",
      "maintenance_status": null,
      "known_limits": "Enabled generics determine the actual peripherals and interfaces",
      "licence_files": [
        {
          "url": "https://github.com/stnolting/neorv32/blob/7d48364855ca6c8491bd7f2683ad3ddf1c90b5a6/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone",
          "AXI4 bridge"
        ],
        "licence": [
          "BSD-3-Clause"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "VHDL"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP04",
      "item_name": "PULP AXI",
      "repository_url": "https://github.com/pulp-platform/axi",
      "pinned_commit": "70b8e54fd460e3308e58be596ceb3566a6e3576e",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP04-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP04-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP04-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP04-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/src/axi_xbar.sv",
              "path": "src/axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP04-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/src/axi_xbar.sv",
              "path": "src/axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP04-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/src/axi_xbar.sv",
              "path": "src/axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP04-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/src/axi_xbar.sv",
              "path": "src/axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP04-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP04-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/Bender.yml",
              "path": "Bender.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP04-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/Bender.yml",
              "path": "Bender.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP04-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/test/tb_axi_xbar.sv",
              "path": "test/tb_axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP04-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP04-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP04-F01",
            "IP04-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/src/axi_xbar.sv",
              "path": "src/axi_xbar.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "AXI interconnect and protocol component collection",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "AXI4, AXI4-Lite and selected AXI5 atomic extensions",
      "clock_reset_semantics": "Selected axi_xbar: positive-edge clk_i and active-low asynchronous rst_ni",
      "address_data_width": "Crossbar configuration specifies address, data and ID widths",
      "configuration_mechanism": "Typed parameters, crossbar configuration and address-map rules",
      "register_map": "Crossbar address-map inputs; no software register description verified",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": "Memory adapter and AXI SRAM-interface modules listed",
      "ip_dependencies": "Bender dependency declarations",
      "build_manifest": "Bender.yml",
      "testbench": "axi_xbar testbench with AXI stimulus and checking",
      "supported_simulators": null,
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "Crossbar, CDC and width-conversion modules documented",
      "licence_scope": "Solderpad Hardware License 0.51 with Apache-2.0 option in licence text",
      "maintenance_status": null,
      "known_limits": "Collection row; reset and feature statements apply to the named selected module",
      "licence_files": [
        {
          "url": "https://github.com/pulp-platform/axi/blob/70b8e54fd460e3308e58be596ceb3566a6e3576e/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "AXI4",
          "AXI4-Lite",
          "AXI5 ATOP"
        ],
        "licence": [
          "SHL-0.51 / Apache-2.0 option"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP05",
      "item_name": "LiteEth",
      "repository_url": "https://github.com/enjoy-digital/liteeth",
      "pinned_commit": "cc9a53054bc3de417b2cb72f42b1d434a6457706",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP05-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP05-F01",
            "IP05-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP05-F01",
            "IP05-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/examples/axi-lite-mii.yml",
              "path": "examples/axi-lite-mii.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP05-F04",
            "IP05-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/bench/arty.py",
              "path": "bench/arty.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP05-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP05-F04",
            "IP05-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/examples/axi-lite-mii.yml",
              "path": "examples/axi-lite-mii.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP05-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP05-F01",
            "IP05-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP05-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/examples/axi-lite-mii.yml",
              "path": "examples/axi-lite-mii.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP05-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/test/test_mac_wishbone.py",
              "path": "test/test_mac_wishbone.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP05-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP05-F06",
            "IP05-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/examples/axi-lite-mii.yml",
              "path": "examples/axi-lite-mii.yml"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/bench/arty.py",
              "path": "bench/arty.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP05-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP05-F01",
            "IP05-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/liteeth/gen.py",
              "path": "liteeth/gen.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Ethernet MAC and networking core generator",
      "rtl_language": "Python/Migen generator producing Verilog",
      "bus_interfaces": "Wishbone or AXI-Lite MAC; Etherbone and selected AXI-Stream adapter",
      "clock_reset_semantics": "PHY/system clock-domain integration depends on generated target",
      "address_data_width": "MAC datapaths documented from 8 to 512 bits",
      "configuration_mechanism": "YAML standalone configuration and Python generator",
      "register_map": "Generator builds CSR and memory regions; no IP-XACT description verified",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": null,
      "ip_dependencies": "LiteX/Migen-based generator and PHY/platform dependencies",
      "build_manifest": "Standalone YAML configuration",
      "testbench": "Python Wishbone MAC unit test",
      "supported_simulators": "README names Icarus and Verilator for some RTL tests",
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "Arty board bench and AXI-Lite/MII configuration",
      "licence_scope": "BSD-2-Clause root licence",
      "maintenance_status": null,
      "known_limits": "Standalone interfaces and adapters are distinct configurations; not all listed interfaces coexist",
      "licence_files": [
        {
          "url": "https://github.com/enjoy-digital/liteeth/blob/cc9a53054bc3de417b2cb72f42b1d434a6457706/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone",
          "AXI4-Lite",
          "Etherbone",
          "AXI-Stream adapter"
        ],
        "licence": [
          "BSD-2-Clause"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "Python",
          "Generated Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP06",
      "item_name": "CV32E40P",
      "repository_url": "https://github.com/openhwgroup/cv32e40p",
      "pinned_commit": "b353438ff469c030c89f6804f3b24a2852880e8b",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP06-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP06-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP06-F01",
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP06-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/control_status_registers.rst",
              "path": "docs/source/control_status_registers.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP06-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/docs/source/integration.rst",
              "path": "docs/source/integration.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP06-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/cv32e40p_manifest.flist",
              "path": "cv32e40p_manifest.flist"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP06-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP06-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/scripts/formal/README.md",
              "path": "scripts/formal/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "documented",
          "source_ids": [
            "IP06-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/constraints/cv32e40p_core.sdc",
              "path": "constraints/cv32e40p_core.sdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP06-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP06-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "32-bit RISC-V CPU",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "Separate instruction and data integration ports",
      "clock_reset_semantics": "clk_i and active-low asynchronous rst_ni; clock-gating cell required",
      "address_data_width": "32-bit CPU and integration port descriptions",
      "configuration_mechanism": "Elaboration parameters and integration tie-offs",
      "register_map": "Control/status register reference",
      "interrupts": "irq interface documented in integration port table",
      "software_drivers": null,
      "memory_interfaces": "Separate instruction/data request and response channels",
      "ip_dependencies": "Clock-gating implementation must match target technology",
      "build_manifest": "cv32e40p_manifest.flist",
      "testbench": "Small local testbench; full CORE-V verification is a separate repository",
      "supported_simulators": null,
      "formal_collateral": "Formal-flow README in scripts/formal",
      "clock_constraints": "Core SDC constraints supplied",
      "implementation_examples": null,
      "licence_scope": "Solderpad Hardware License 0.51 / Apache-2.0 option",
      "maintenance_status": null,
      "known_limits": "Local simple testbench is not the separate full verification environment",
      "licence_files": [
        {
          "url": "https://github.com/openhwgroup/cv32e40p/blob/b353438ff469c030c89f6804f3b24a2852880e8b/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Native instruction/data"
        ],
        "licence": [
          "SHL-0.51 / Apache-2.0 option"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Formal collateral",
          "Timing constraints"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP07",
      "item_name": "VexRiscv",
      "repository_url": "https://github.com/SpinalHDL/VexRiscv",
      "pinned_commit": "baf7dc82f855eddaf5b0a20a6802c526f127e38a",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP07-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP07-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP07-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP07-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP07-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP07-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/build.sbt",
              "path": "build.sbt"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP07-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/build.sbt",
              "path": "build.sbt"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/test/cpp/regression/makefile",
              "path": "src/test/cpp/regression/makefile"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/test/cpp/regression/makefile",
              "path": "src/test/cpp/regression/makefile"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP07-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP07-F01",
            "IP07-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/src/main/scala/vexriscv/demo/GenFull.scala",
              "path": "src/main/scala/vexriscv/demo/GenFull.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Configurable RISC-V CPU generator",
      "rtl_language": "Scala/SpinalHDL producing Verilog",
      "bus_interfaces": "AXI4, Avalon and Wishbone integration options",
      "clock_reset_semantics": "README documents CPU clock/reset configuration; generated top varies by plugins",
      "address_data_width": "RV32 core; cache and bus widths depend on plugin configuration",
      "configuration_mechanism": "Scala plugins and generator configuration",
      "register_map": "CSR plugin configuration and custom CSR example",
      "interrupts": "Optional interrupt/exception handling configured by plugins",
      "software_drivers": null,
      "memory_interfaces": "Instruction/data bus and cache plugins",
      "ip_dependencies": "SpinalHDL and Scala build dependencies",
      "build_manifest": "build.sbt",
      "testbench": "C++ regression Makefile and documented randomized configuration tests",
      "supported_simulators": "Verilator regression flow",
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "GenFull.scala example configuration",
      "licence_scope": "MIT root licence",
      "maintenance_status": null,
      "known_limits": "Generated cores have different interfaces; features are not one universal configuration",
      "licence_files": [
        {
          "url": "https://github.com/SpinalHDL/VexRiscv/blob/baf7dc82f855eddaf5b0a20a6802c526f127e38a/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "AXI4",
          "Avalon",
          "Wishbone"
        ],
        "licence": [
          "MIT"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "Scala",
          "Generated Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP08",
      "item_name": "Microwatt",
      "repository_url": "https://github.com/antonblanchard/microwatt",
      "pinned_commit": "f341bed306a9a7281bf65200df8cc1f0a002617d",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP08-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP08-F03",
            "IP08-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            },
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/microwatt.core",
              "path": "microwatt.core"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP08-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/core.vhdl",
              "path": "core.vhdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP08-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/microwatt.core",
              "path": "microwatt.core"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP08-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP08-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "documented",
          "source_ids": [
            "IP08-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/fpga/arty_a7.xdc",
              "path": "fpga/arty_a7.xdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP08-F01",
            "IP08-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/fpga/arty_a7.xdc",
              "path": "fpga/arty_a7.xdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP08-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP08-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "OpenPOWER CPU core",
      "rtl_language": "VHDL",
      "bus_interfaces": "Wishbone instruction/data interfaces and snoop input",
      "clock_reset_semantics": "clk, rst and alt_reset; reset distribution is implemented within core",
      "address_data_width": "64-bit reset-address generic; bus types defined separately",
      "configuration_mechanism": "VHDL generics and FuseSoC targets",
      "register_map": null,
      "interrupts": "External interrupt input in core entity",
      "software_drivers": null,
      "memory_interfaces": "Instruction/data Wishbone interfaces and caches",
      "ip_dependencies": null,
      "build_manifest": "microwatt.core",
      "testbench": "README documents Micropython simulation and tests",
      "supported_simulators": "GHDL simulation flow",
      "formal_collateral": null,
      "clock_constraints": "Arty A7 XDC example",
      "implementation_examples": "Arty FPGA targets and Micropython simulation",
      "licence_scope": "CC-BY-4.0 softcore; licence separately discusses physical-implementation rights",
      "maintenance_status": null,
      "known_limits": "Softcore copyright licence is not a complete determination of Power ISA implementation rights",
      "licence_files": [
        {
          "url": "https://github.com/antonblanchard/microwatt/blob/f341bed306a9a7281bf65200df8cc1f0a002617d/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone"
        ],
        "licence": [
          "CC-BY-4.0; additional rights caveat"
        ],
        "collateral_type": [
          "Build manifest",
          "Simulation testbench",
          "Timing constraints",
          "Integration example"
        ],
        "language": [
          "VHDL"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP09",
      "item_name": "ZipCPU",
      "repository_url": "https://github.com/ZipCPU/zipcpu",
      "pinned_commit": "42606d2d6ef55df313772232977621b2d72f0159",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP09-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP09-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP09-F01",
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP09-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP09-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/sw/README.md",
              "path": "sw/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP09-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP09-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/bench/formal/zipbones.sby",
              "path": "bench/formal/zipbones.sby"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP09-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/bench/formal/zipbones.sby",
              "path": "bench/formal/zipbones.sby"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP09-F01",
            "IP09-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
              "path": "rtl/zipbones.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP09-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "32-bit custom-ISA RISC CPU",
      "rtl_language": "Verilog",
      "bus_interfaces": "Wishbone, AXI4-Lite and AXI4 wrapper choices",
      "clock_reset_semantics": "Selected zipbones wrapper exposes i_clk and i_reset",
      "address_data_width": "32-bit registers/addresses/instructions; wrapper bus width parameter",
      "configuration_mechanism": "Wrapper parameters including bus width and reset address",
      "register_map": "Debug-bus register decoding in zipbones wrapper",
      "interrupts": "Supervisor/user register-set switch; not vectored interrupt handling",
      "software_drivers": "Software toolchain/library directory; no general device-driver coverage inferred",
      "memory_interfaces": "Wishbone shares instruction/data bus; AXI wrappers use separate interfaces",
      "ip_dependencies": null,
      "build_manifest": "Selected formal .sby file lists proof input files",
      "testbench": null,
      "supported_simulators": null,
      "formal_collateral": "zipbones.sby formal configuration",
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "GPL-3.0 repository statement and source licence headers",
      "maintenance_status": null,
      "known_limits": "Not RISC-V; proprietary ISA and wrapper choices require distinct software/integration assumptions",
      "licence_files": [
        {
          "url": "https://github.com/ZipCPU/zipcpu/blob/42606d2d6ef55df313772232977621b2d72f0159/rtl/zipbones.v",
          "path": "rtl/zipbones.v"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone",
          "AXI4-Lite",
          "AXI4"
        ],
        "licence": [
          "GPL-3.0"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Formal collateral"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP10",
      "item_name": "SERV",
      "repository_url": "https://github.com/olofk/serv",
      "pinned_commit": "f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP10-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/rtl/serv_top.v",
              "path": "rtl/serv_top.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP10-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/serv.core",
              "path": "serv.core"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "documented",
          "source_ids": [
            "IP10-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/data/arty_a7_35t.xdc",
              "path": "data/arty_a7_35t.xdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP10-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP10-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP10-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/doc/interface.rst",
              "path": "doc/interface.rst"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Bit-serial RV32 RISC-V CPU",
      "rtl_language": "Verilog",
      "bus_interfaces": "Separate instruction and data request/acknowledge buses",
      "clock_reset_semantics": "Synchronous reset; RESET_STRATEGY supports NONE and MINI",
      "address_data_width": "32-bit instruction/data bus addresses and data",
      "configuration_mechanism": "RESET_PC, RESET_STRATEGY, WITH_CSR and register-file parameters",
      "register_map": "Optional CSR functionality documented; no machine-readable register file verified",
      "interrupts": "Timer interrupt input",
      "software_drivers": "README identifies Servant Zephyr drivers/BSP path; individual drivers not inspected",
      "memory_interfaces": "External register-file interface differs between serv_top and serv_rf_top",
      "ip_dependencies": "Optional multiply/divide unit is a separate library",
      "build_manifest": "serv.core FuseSoC manifest",
      "testbench": "Servant simulation and RISCOF compliance instructions documented",
      "supported_simulators": "Verilator simulation/lint targets",
      "formal_collateral": null,
      "clock_constraints": "Arty A7 example XDC",
      "implementation_examples": "Servant reference SoC and FPGA examples",
      "licence_scope": "ISC root licence",
      "maintenance_status": null,
      "known_limits": "RESET_STRATEGY NONE depends on initialization and disallows ordinary runtime reset assumptions",
      "licence_files": [
        {
          "url": "https://github.com/olofk/serv/blob/f200eb2ed7b69ac1c6b8eddd47654522aeee5ce8/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Native request/acknowledge"
        ],
        "licence": [
          "ISC"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Simulation testbench",
          "Timing constraints",
          "Integration example"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP11",
      "item_name": "Rocket Chip",
      "repository_url": "https://github.com/chipsalliance/rocket-chip",
      "pinned_commit": "ece7b9ad544b07df39cd13b6fd7236562a26355d",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP11-F01",
            "IP11-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/src/main/scala/rocket/RocketCore.scala",
              "path": "src/main/scala/rocket/RocketCore.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP11-F01",
            "IP11-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/build.sc",
              "path": "build.sc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP11-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/build.sc",
              "path": "build.sc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP11-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP11-F02",
            "IP11-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/LICENSE.Berkeley",
              "path": "LICENSE.Berkeley"
            },
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/LICENSE.SiFive",
              "path": "LICENSE.SiFive"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP11-F01",
            "IP11-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/src/main/scala/rocket/RocketCore.scala",
              "path": "src/main/scala/rocket/RocketCore.scala"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "RISC-V SoC and Rocket CPU generator",
      "rtl_language": "Scala/Chisel generating RTL",
      "bus_interfaces": "TileLink with AXI4, AHB-Lite and APB adapters",
      "clock_reset_semantics": null,
      "address_data_width": "Generator-configured widths; no single fixed integration width",
      "configuration_mechanism": "Config classes and Diplomacy parameter negotiation",
      "register_map": "regmapper generator package; no single static IP-XACT map verified",
      "interrupts": "Generator includes interrupt-handling and debug components",
      "software_drivers": null,
      "memory_interfaces": "Configurable caches, coherence and system bus network",
      "ip_dependencies": "Chisel, HardFloat and RISC-V tools described; build dependencies declared",
      "build_manifest": "build.sc",
      "testbench": "Verilator emulator and VCS simulation directories documented",
      "supported_simulators": "Verilator and VCS documented flows",
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "Parameterized Rocket Chip system configurations",
      "licence_scope": "Berkeley BSD-3-Clause and SiFive Apache-2.0 notices have separate scopes",
      "maintenance_status": null,
      "known_limits": "Generator row; complete top-level clocks, resets and maps depend on elaborated configuration",
      "licence_files": [
        {
          "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/LICENSE.Berkeley",
          "path": "LICENSE.Berkeley"
        },
        {
          "url": "https://github.com/chipsalliance/rocket-chip/blob/ece7b9ad544b07df39cd13b6fd7236562a26355d/LICENSE.SiFive",
          "path": "LICENSE.SiFive"
        }
      ],
      "filter_values": {
        "interface": [
          "TileLink",
          "AXI4",
          "AHB-Lite",
          "APB"
        ],
        "licence": [
          "BSD-3-Clause / Apache-2.0 scopes"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "Scala",
          "Generated RTL"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP12",
      "item_name": "OpenTitan AES",
      "repository_url": "https://github.com/lowRISC/opentitan",
      "pinned_commit": "478afb033bb2d3e62cb4c5dd097f578de461b2b5",
      "repository_scope": "hw/ip/aes",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP12-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/README.md",
              "path": "hw/ip/aes/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP12-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/doc/interfaces.md",
              "path": "hw/ip/aes/doc/interfaces.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP12-F05",
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP12-F05",
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP12-F05",
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP12-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP12-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/doc/interfaces.md",
              "path": "hw/ip/aes/doc/interfaces.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP12-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/sw/device/lib/dif/dif_aes.h",
              "path": "sw/device/lib/dif/dif_aes.h"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP12-F03",
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/doc/interfaces.md",
              "path": "hw/ip/aes/doc/interfaces.md"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP12-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP12-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/dv/README.md",
              "path": "hw/ip/aes/dv/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP12-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/dv/README.md",
              "path": "hw/ip/aes/dv/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP12-F01",
            "IP12-F05",
            "IP12-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/LICENSE",
              "path": "LICENSE"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
              "path": "hw/ip/aes/rtl/aes.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP12-F02",
            "IP12-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/README.md",
              "path": "hw/ip/aes/README.md"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/data/aes.hjson",
              "path": "hw/ip/aes/data/aes.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "AES accelerator IP",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "TL-UL device interface; no TL-UL host interface documented",
      "clock_reset_semantics": "clk_i/rst_ni and clk_edn_i/rst_edn_ni; shadowed-reset handling in RTL",
      "address_data_width": "HJSON register description and typed TL-UL interface",
      "configuration_mechanism": "HJSON parameters and SystemVerilog elaboration parameters",
      "register_map": "Regtool HJSON register description",
      "interrupts": "Interfaces document specifies no interrupts",
      "software_drivers": "C device-interface header dif_aes.h",
      "memory_interfaces": null,
      "ip_dependencies": "Entropy, key-manager, lifecycle and primitive interfaces",
      "build_manifest": "Register/IP configuration in aes.hjson; separate build manifest not verified",
      "testbench": "SV/UVM DV environment documented",
      "supported_simulators": null,
      "formal_collateral": "DV README documents assertion collateral; no proof performed here",
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "Apache-2.0 repository and selected IP-file notices; dependencies need separate review",
      "maintenance_status": null,
      "known_limits": "Security features and verification-stage labels are upstream documentation, not an independent security assurance",
      "licence_files": [
        {
          "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/LICENSE",
          "path": "LICENSE"
        },
        {
          "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/aes/rtl/aes.sv",
          "path": "hw/ip/aes/rtl/aes.sv"
        }
      ],
      "filter_values": {
        "interface": [
          "TL-UL"
        ],
        "licence": [
          "Apache-2.0"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Simulation testbench",
          "Formal collateral"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP13",
      "item_name": "OpenTitan HMAC",
      "repository_url": "https://github.com/lowRISC/opentitan",
      "pinned_commit": "478afb033bb2d3e62cb4c5dd097f578de461b2b5",
      "repository_scope": "hw/ip/hmac",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP13-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/README.md",
              "path": "hw/ip/hmac/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP13-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
              "path": "hw/ip/hmac/rtl/hmac.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP13-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/doc/interfaces.md",
              "path": "hw/ip/hmac/doc/interfaces.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP13-F05",
            "IP13-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
              "path": "hw/ip/hmac/rtl/hmac.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP13-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP13-F05",
            "IP13-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
              "path": "hw/ip/hmac/rtl/hmac.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP13-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP13-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/doc/interfaces.md",
              "path": "hw/ip/hmac/doc/interfaces.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "documented",
          "source_ids": [
            "IP13-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/sw/device/lib/dif/dif_hmac.h",
              "path": "sw/device/lib/dif/dif_hmac.h"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP13-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
              "path": "hw/ip/hmac/rtl/hmac.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP13-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP13-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/dv/README.md",
              "path": "hw/ip/hmac/dv/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP13-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/dv/README.md",
              "path": "hw/ip/hmac/dv/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP13-F01",
            "IP13-F05",
            "IP13-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/LICENSE",
              "path": "LICENSE"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/data/hmac.hjson",
              "path": "hw/ip/hmac/data/hmac.hjson"
            },
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
              "path": "hw/ip/hmac/rtl/hmac.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP13-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/doc/interfaces.md",
              "path": "hw/ip/hmac/doc/interfaces.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "HMAC/SHA hashing accelerator IP",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "TL-UL device interface",
      "clock_reset_semantics": "Primary clk_i; reset signals defined by HJSON and RTL",
      "address_data_width": "Register widths and FIFO windows defined in HJSON",
      "configuration_mechanism": "HJSON IP/register configuration and RTL parameters",
      "register_map": "Regtool HJSON register description",
      "interrupts": "hmac_done, fifo_empty and hmac_err documented",
      "software_drivers": "C device-interface header dif_hmac.h",
      "memory_interfaces": null,
      "ip_dependencies": "TL-UL and OpenTitan primitives/packages",
      "build_manifest": "HJSON IP description; separate build manifest not verified",
      "testbench": "SV/UVM DV environment documented",
      "supported_simulators": null,
      "formal_collateral": "DV assertion collateral documented; no proof executed",
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "Apache-2.0 repository and selected-file notices",
      "maintenance_status": null,
      "known_limits": "FIFO interrupt is conditional on software-writable FIFO state; review configuration-specific semantics",
      "licence_files": [
        {
          "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/LICENSE",
          "path": "LICENSE"
        },
        {
          "url": "https://github.com/lowRISC/opentitan/blob/478afb033bb2d3e62cb4c5dd097f578de461b2b5/hw/ip/hmac/rtl/hmac.sv",
          "path": "hw/ip/hmac/rtl/hmac.sv"
        }
      ],
      "filter_values": {
        "interface": [
          "TL-UL"
        ],
        "licence": [
          "Apache-2.0"
        ],
        "collateral_type": [
          "Register description",
          "Software collateral",
          "Build manifest",
          "Simulation testbench",
          "Formal collateral"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP14",
      "item_name": "Caliptra SHA-512",
      "repository_url": "https://github.com/chipsalliance/caliptra-rtl",
      "pinned_commit": "5e577ee820ff6b05311869ea69c38e78355fd558",
      "repository_scope": "src/sha512",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04",
            "IP14-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/config/compile.yml",
              "path": "src/sha512/config/compile.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP14-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_reg.rdl",
              "path": "src/sha512/rtl/sha512_reg.rdl"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP14-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/config/compile.yml",
              "path": "src/sha512/config/compile.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP14-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/tb/sha512_ctrl_tb.sv",
              "path": "src/sha512/tb/sha512_ctrl_tb.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP14-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/formal/readme.md",
              "path": "src/sha512/formal/readme.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP14-F01",
            "IP14-F03",
            "IP14-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/LICENSE",
              "path": "LICENSE"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            },
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
              "path": "src/sha512/rtl/sha512_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP14-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
              "path": "src/sha512/rtl/sha512.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Caliptra SHA-512 accelerator and controller",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "AHB-Lite controller; internal memory-like and vault interfaces",
      "clock_reset_semantics": "clk, active-low reset_n and cptra_pwrgood; asynchronous reset shown in RTL",
      "address_data_width": "Controller defaults 32-bit AHB address/data; inner SHA wrapper defaults 64-bit data",
      "configuration_mechanism": "SystemVerilog parameters and compile configuration",
      "register_map": "SystemRDL sha512_reg.rdl",
      "interrupts": "error_intr and notif_intr controller outputs",
      "software_drivers": null,
      "memory_interfaces": "Register interface plus private-vault read/write structures",
      "ip_dependencies": "Register, SHA parameters, key-vault and private-vault packages",
      "build_manifest": "config/compile.yml",
      "testbench": "sha512_ctrl_tb.sv directed testbench",
      "supported_simulators": null,
      "formal_collateral": "formal/readme.md documents formal collateral",
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "Apache-2.0 controller/register files; SHA wrapper retains Secworks BSD-2-Clause notice",
      "maintenance_status": null,
      "known_limits": "Header describes old 32-bit wrapper while current parameter defaults 64; use the pinned declaration",
      "licence_files": [
        {
          "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/LICENSE",
          "path": "LICENSE"
        },
        {
          "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512.sv",
          "path": "src/sha512/rtl/sha512.sv"
        },
        {
          "url": "https://github.com/chipsalliance/caliptra-rtl/blob/5e577ee820ff6b05311869ea69c38e78355fd558/src/sha512/rtl/sha512_ctrl.sv",
          "path": "src/sha512/rtl/sha512_ctrl.sv"
        }
      ],
      "filter_values": {
        "interface": [
          "AHB-Lite",
          "Native memory-like"
        ],
        "licence": [
          "Apache-2.0 / BSD-2-Clause scopes"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Formal collateral"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP15",
      "item_name": "PULP APB I2C",
      "repository_url": "https://github.com/pulp-platform/apb_i2c",
      "pinned_commit": "84855413cc2c8e70209ee7f168a0225d3c5914a1",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP15-F01",
            "IP15-F02",
            "IP15-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
              "path": "i2c_master_bit_ctrl.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_byte_ctrl.sv",
              "path": "i2c_master_byte_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP15-F01",
            "IP15-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
              "path": "i2c_master_bit_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "documented",
          "source_ids": [
            "IP15-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP15-F01",
            "IP15-F02",
            "IP15-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
              "path": "i2c_master_bit_ctrl.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_byte_ctrl.sv",
              "path": "i2c_master_byte_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP15-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/src_files.yml",
              "path": "src_files.yml"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP15-F01",
            "IP15-F02",
            "IP15-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
              "path": "i2c_master_bit_ctrl.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_byte_ctrl.sv",
              "path": "i2c_master_byte_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP15-F01",
            "IP15-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/apb_i2c.sv",
              "path": "apb_i2c.sv"
            },
            {
              "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
              "path": "i2c_master_bit_ctrl.sv"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "PULP APB adapter around inherited I2C controller",
      "rtl_language": "SystemVerilog",
      "bus_interfaces": "APB register interface and I2C pad signals",
      "clock_reset_semantics": "HCLK and active-low asynchronous HRESETn",
      "address_data_width": "APB address defaults 12 bits; read/write data 32 bits",
      "configuration_mechanism": "APB_ADDR_WIDTH parameter and prescaler registers",
      "register_map": "RTL register-offset macros; no IP-XACT or separate machine-readable register map verified",
      "interrupts": "Interrupt flag and output logic in wrapper",
      "software_drivers": null,
      "memory_interfaces": null,
      "ip_dependencies": "Inherited I2C byte and bit controllers",
      "build_manifest": "src_files.yml source list",
      "testbench": null,
      "supported_simulators": null,
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "Controller files have custom permissive notices; APB wrapper licence remains unverified",
      "maintenance_status": null,
      "known_limits": "Inherited OpenCores controller provenance is explicit; wrapper copyright clearance is unresolved",
      "licence_files": [
        {
          "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_bit_ctrl.sv",
          "path": "i2c_master_bit_ctrl.sv"
        },
        {
          "url": "https://github.com/pulp-platform/apb_i2c/blob/84855413cc2c8e70209ee7f168a0225d3c5914a1/i2c_master_byte_ctrl.sv",
          "path": "i2c_master_byte_ctrl.sv"
        }
      ],
      "filter_values": {
        "interface": [
          "APB",
          "I2C"
        ],
        "licence": [
          "Partial licence evidence"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest"
        ],
        "language": [
          "SystemVerilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP16",
      "item_name": "wb2axip",
      "repository_url": "https://github.com/ZipCPU/wb2axip",
      "pinned_commit": "2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP16-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP16-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP16-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/bench/formal/axilxbar.sby",
              "path": "bench/formal/axilxbar.sby"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "documented",
          "source_ids": [
            "IP16-F03",
            "IP16-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/bench/formal/README.md",
              "path": "bench/formal/README.md"
            },
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/bench/formal/axilxbar.sby",
              "path": "bench/formal/axilxbar.sby"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP16-F01",
            "IP16-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
              "path": "rtl/axilxbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP16-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/bench/formal/README.md",
              "path": "bench/formal/README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Bus bridges, crossbars and related components",
      "rtl_language": "Verilog",
      "bus_interfaces": "Wishbone, AXI4, AXI4-Lite and selected AHB/APB components",
      "clock_reset_semantics": "Selected AXI-Lite crossbar: S_AXI_ACLK and low-active S_AXI_ARESETN",
      "address_data_width": "Crossbar address/data widths and master/slave counts parameterized",
      "configuration_mechanism": "Parameters include SLAVE_ADDR and SLAVE_MASK arrays",
      "register_map": "Static address-decode parameters; no software register-description file verified",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": null,
      "ip_dependencies": null,
      "build_manifest": "axilxbar.sby formal manifest",
      "testbench": null,
      "supported_simulators": null,
      "formal_collateral": "Formal README and AXI-Lite crossbar .sby setup",
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "Apache-2.0 in selected source header and repository statement",
      "maintenance_status": null,
      "known_limits": "Formal collateral availability does not establish that every configuration or protocol is proved",
      "licence_files": [
        {
          "url": "https://github.com/ZipCPU/wb2axip/blob/2e8d3bc2d26ddc33d1881022a2a2b9d3f0c16b9b/rtl/axilxbar.v",
          "path": "rtl/axilxbar.v"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone",
          "AXI4",
          "AXI4-Lite",
          "AHB",
          "APB"
        ],
        "licence": [
          "Apache-2.0"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Formal collateral"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP17",
      "item_name": "LiteSPI",
      "repository_url": "https://github.com/litex-hub/litespi",
      "pinned_commit": "1efda7b0ffe48068239e9a3b559d29c94c83fcf2",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP17-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP17-F03",
            "IP17-F04",
            "IP17-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/master.py",
              "path": "litespi/core/master.py"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/mmap.py",
              "path": "litespi/core/mmap.py"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/phy/generic.py",
              "path": "litespi/phy/generic.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP17-F01",
            "IP17-F03",
            "IP17-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/master.py",
              "path": "litespi/core/master.py"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/mmap.py",
              "path": "litespi/core/mmap.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP17-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/phy/generic.py",
              "path": "litespi/phy/generic.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP17-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/mmap.py",
              "path": "litespi/core/mmap.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP17-F03",
            "IP17-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/master.py",
              "path": "litespi/core/master.py"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/mmap.py",
              "path": "litespi/core/mmap.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP17-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/master.py",
              "path": "litespi/core/master.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP17-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/core/mmap.py",
              "path": "litespi/core/mmap.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP17-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/setup.py",
              "path": "setup.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP17-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/setup.py",
              "path": "setup.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP17-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/test/test_spi_master.py",
              "path": "test/test_spi_master.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP17-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP17-F01",
            "IP17-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/litespi/phy/generic.py",
              "path": "litespi/phy/generic.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "SPI NOR flash controller generator",
      "rtl_language": "Python/Migen generating RTL",
      "bus_interfaces": "CSR control and Wishbone memory-mapped interface",
      "clock_reset_semantics": "Migen clock domains and PHY integration; no universal reset contract inferred",
      "address_data_width": "Wishbone memory-map interface; complete selectable width range not verified",
      "configuration_mechanism": "Python constructors and flash/module settings",
      "register_map": "Generated CSR registers in master component",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": "Memory-mapped SPI NOR flash access",
      "ip_dependencies": "LiteX/Migen and Python dependencies declared",
      "build_manifest": "setup.py package dependencies; not a standalone implementation constraints file",
      "testbench": "Python SPI-master test",
      "supported_simulators": null,
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "BSD-2-Clause root licence",
      "maintenance_status": null,
      "known_limits": "Flash device selection and PHY settings determine usable commands and widths",
      "licence_files": [
        {
          "url": "https://github.com/litex-hub/litespi/blob/1efda7b0ffe48068239e9a3b559d29c94c83fcf2/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "Wishbone",
          "CSR",
          "SPI"
        ],
        "licence": [
          "BSD-2-Clause"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench"
        ],
        "language": [
          "Python",
          "Generated RTL"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP18",
      "item_name": "LiteSDCard",
      "repository_url": "https://github.com/enjoy-digital/litesdcard",
      "pinned_commit": "b68dfded8a76c74aea718d9a8914cf8c2bf3f26c",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP18-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP18-F03",
            "IP18-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/core.py",
              "path": "litesdcard/core.py"
            },
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/phy.py",
              "path": "litesdcard/phy.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP18-F03",
            "IP18-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/core.py",
              "path": "litesdcard/core.py"
            },
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/frontend/dma.py",
              "path": "litesdcard/frontend/dma.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP18-F04",
            "IP18-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/phy.py",
              "path": "litesdcard/phy.py"
            },
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/bench/arty.py",
              "path": "bench/arty.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP18-F03",
            "IP18-F04",
            "IP18-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/core.py",
              "path": "litesdcard/core.py"
            },
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/phy.py",
              "path": "litesdcard/phy.py"
            },
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/bench/arty.py",
              "path": "bench/arty.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP18-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/core.py",
              "path": "litesdcard/core.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP18-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/litesdcard/frontend/dma.py",
              "path": "litesdcard/frontend/dma.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP18-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/setup.py",
              "path": "setup.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP18-F08"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/setup.py",
              "path": "setup.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP18-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/test/test_core.py",
              "path": "test/test_core.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP18-F07"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/bench/arty.py",
              "path": "bench/arty.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP18-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/LICENSE",
              "path": "LICENSE"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP18-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "SD card controller generator",
      "rtl_language": "Python/Migen generating RTL",
      "bus_interfaces": "LiteX CSR/stream integration and DMA frontend",
      "clock_reset_semantics": "PHY clocking is platform/configuration-specific",
      "address_data_width": null,
      "configuration_mechanism": "Python core, PHY and board constructors",
      "register_map": "CSR fields declared in core",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": "DMA frontend connects card streams to memory",
      "ip_dependencies": "Migen/LiteX dependency declarations",
      "build_manifest": "setup.py package metadata/dependencies",
      "testbench": "Python core test",
      "supported_simulators": null,
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": "Arty board bench",
      "licence_scope": "BSD-2-Clause root licence; file-specific exceptions may apply",
      "maintenance_status": null,
      "known_limits": "README lists standardized AXI/Avalon interfaces and Linux drivers as possible improvements, not implemented support",
      "licence_files": [
        {
          "url": "https://github.com/enjoy-digital/litesdcard/blob/b68dfded8a76c74aea718d9a8914cf8c2bf3f26c/LICENSE",
          "path": "LICENSE"
        }
      ],
      "filter_values": {
        "interface": [
          "CSR",
          "LiteX stream",
          "SD"
        ],
        "licence": [
          "BSD-2-Clause"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench",
          "Integration example"
        ],
        "language": [
          "Python",
          "Generated RTL"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP19",
      "item_name": "verilog-ethernet",
      "repository_url": "https://github.com/alexforencich/verilog-ethernet",
      "pinned_commit": "77320a9471d19c7dd383914bc049e02d9f4f1ffb",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP19-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP19-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/rtl/eth_mac_1g.v",
              "path": "rtl/eth_mac_1g.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP19-F01",
            "IP19-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/rtl/eth_mac_1g.v",
              "path": "rtl/eth_mac_1g.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP19-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/rtl/eth_mac_1g.v",
              "path": "rtl/eth_mac_1g.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP19-F01",
            "IP19-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/rtl/eth_mac_1g.v",
              "path": "rtl/eth_mac_1g.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP19-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/rtl/eth_mac_1g.v",
              "path": "rtl/eth_mac_1g.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP19-F01",
            "IP19-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/tb/eth_mac_1g/test_eth_mac_1g.py",
              "path": "tb/eth_mac_1g/test_eth_mac_1g.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP19-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/tb/eth_mac_1g/test_eth_mac_1g.py",
              "path": "tb/eth_mac_1g/test_eth_mac_1g.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "documented",
          "source_ids": [
            "IP19-F05",
            "IP19-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/syn/vivado/eth_mac_fifo.tcl",
              "path": "syn/vivado/eth_mac_fifo.tcl"
            },
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/syn/quartus/eth_mac_1g_gmii.sdc",
              "path": "syn/quartus/eth_mac_1g_gmii.sdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "implementation_examples": {
          "status": "documented",
          "source_ids": [
            "IP19-F05",
            "IP19-F06"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/syn/vivado/eth_mac_fifo.tcl",
              "path": "syn/vivado/eth_mac_fifo.tcl"
            },
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/syn/quartus/eth_mac_1g_gmii.sdc",
              "path": "syn/quartus/eth_mac_1g_gmii.sdc"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP19-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/COPYING",
              "path": "COPYING"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "documented",
          "source_ids": [
            "IP19-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP19-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "Ethernet MAC, protocol and interface collection",
      "rtl_language": "Verilog",
      "bus_interfaces": "AXI-Stream, MII/GMII and XGMII components",
      "clock_reset_semantics": "Selected 1G MAC exposes separate rx_clk/rx_rst and tx_clk/tx_rst",
      "address_data_width": "Collection uses 8/64-bit datapaths; selected MAC has parameterized data width",
      "configuration_mechanism": "Verilog parameters and module composition",
      "register_map": null,
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": null,
      "ip_dependencies": "cocotb and cocotbext-eth test dependencies",
      "build_manifest": null,
      "testbench": "cocotb Ethernet MAC test",
      "supported_simulators": null,
      "formal_collateral": null,
      "clock_constraints": "Vivado Tcl and Quartus SDC examples opened",
      "implementation_examples": "FPGA-specific timing constraint examples",
      "licence_scope": "MIT root licence",
      "maintenance_status": "README marks repository deprecated; successor is fpganinja/taxi",
      "known_limits": "Legacy repository snapshot, not a recommendation to start a maintained design here",
      "licence_files": [
        {
          "url": "https://github.com/alexforencich/verilog-ethernet/blob/77320a9471d19c7dd383914bc049e02d9f4f1ffb/COPYING",
          "path": "COPYING"
        }
      ],
      "filter_values": {
        "interface": [
          "AXI-Stream",
          "MII",
          "GMII",
          "XGMII"
        ],
        "licence": [
          "MIT"
        ],
        "collateral_type": [
          "Simulation testbench",
          "Timing constraints",
          "Integration example"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    },
    {
      "record_id": "IP20",
      "item_name": "verilog-axi",
      "repository_url": "https://github.com/alexforencich/verilog-axi",
      "pinned_commit": "516bd5dadc3365b7f9e225d2af8fe0b8d804fe53",
      "repository_scope": "",
      "field_evidence": {
        "core_function": {
          "status": "documented",
          "source_ids": [
            "IP20-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "rtl_language": {
          "status": "documented",
          "source_ids": [
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "bus_interfaces": {
          "status": "documented",
          "source_ids": [
            "IP20-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "clock_reset_semantics": {
          "status": "documented",
          "source_ids": [
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "address_data_width": {
          "status": "documented",
          "source_ids": [
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "configuration_mechanism": {
          "status": "documented",
          "source_ids": [
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "register_map": {
          "status": "documented",
          "source_ids": [
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "interrupts": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "software_drivers": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "memory_interfaces": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "ip_dependencies": {
          "status": "documented",
          "source_ids": [
            "IP20-F01",
            "IP20-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/tb/axi_crossbar/test_axi_crossbar.py",
              "path": "tb/axi_crossbar/test_axi_crossbar.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "build_manifest": {
          "status": "documented",
          "source_ids": [
            "IP20-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/tb/axi_crossbar/Makefile",
              "path": "tb/axi_crossbar/Makefile"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "testbench": {
          "status": "documented",
          "source_ids": [
            "IP20-F04"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/tb/axi_crossbar/test_axi_crossbar.py",
              "path": "tb/axi_crossbar/test_axi_crossbar.py"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "supported_simulators": {
          "status": "documented",
          "source_ids": [
            "IP20-F05"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/tb/axi_crossbar/Makefile",
              "path": "tb/axi_crossbar/Makefile"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "formal_collateral": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "clock_constraints": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "implementation_examples": {
          "status": "unknown",
          "source_ids": [],
          "locators": [],
          "note": "Not verified in the selected opened files; no absence claim."
        },
        "licence_scope": {
          "status": "documented",
          "source_ids": [
            "IP20-F02"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/COPYING",
              "path": "COPYING"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "maintenance_status": {
          "status": "documented",
          "source_ids": [
            "IP20-F01"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/README.md",
              "path": "README.md"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        },
        "known_limits": {
          "status": "documented",
          "source_ids": [
            "IP20-F01",
            "IP20-F03"
          ],
          "locators": [
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/README.md",
              "path": "README.md"
            },
            {
              "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/rtl/axi_crossbar.v",
              "path": "rtl/axi_crossbar.v"
            }
          ],
          "note": "Observed at the pinned revision; not executed."
        }
      },
      "core_function": "AXI interconnect, DMA and adapter collection",
      "rtl_language": "Verilog",
      "bus_interfaces": "AXI4 and AXI4-Lite",
      "clock_reset_semantics": "Selected axi_crossbar exposes clk and rst; submodule reset behavior must also be reviewed",
      "address_data_width": "Address/data/ID/user widths and port counts parameterized",
      "configuration_mechanism": "Verilog parameters and address-decode arrays",
      "register_map": "Crossbar decode parameters; no software register-description file verified",
      "interrupts": null,
      "software_drivers": null,
      "memory_interfaces": null,
      "ip_dependencies": "cocotb and cocotbext-axi test dependencies",
      "build_manifest": "AXI-crossbar test Makefile",
      "testbench": "cocotb AXI-crossbar test",
      "supported_simulators": "Test Makefile selects a simulator through cocotb flow",
      "formal_collateral": null,
      "clock_constraints": null,
      "implementation_examples": null,
      "licence_scope": "MIT root licence",
      "maintenance_status": "README marks repository deprecated; successor is fpganinja/taxi",
      "known_limits": "Selected crossbar is only one component; repository is deprecated",
      "licence_files": [
        {
          "url": "https://github.com/alexforencich/verilog-axi/blob/516bd5dadc3365b7f9e225d2af8fe0b8d804fe53/COPYING",
          "path": "COPYING"
        }
      ],
      "filter_values": {
        "interface": [
          "AXI4",
          "AXI4-Lite"
        ],
        "licence": [
          "MIT"
        ],
        "collateral_type": [
          "Register description",
          "Build manifest",
          "Simulation testbench"
        ],
        "language": [
          "Verilog"
        ]
      },
      "checked_date": "2026-10-24",
      "execution_status": "Not executed; repository evidence only"
    }
  ]
}