{ "dataset_id": "D1", "title": "Open-source EDA handoff 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-source EDA handoff evidence — original compilation, 2026-10-24", "comparison_attributes": [ "primary_stage", "input_languages", "input_representation", "interchange_output", "execution_model", "testbench_interface", "formal_support", "assertion_support", "coverage_output", "waveform_output", "dependency_chain", "configuration_source", "project_manifest", "exit_status_artifacts", "debug_artifacts", "platform_support", "version_pin_method", "licence_family", "integration_caveat", "supported_standard_scope" ], "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": [ "The original 20-tool roster replaces Edalize with ngspice to include explicit analog simulation; FuseSoC remains the build-orchestration record.", "Nineteen repository snapshots are commit-pinned. ngspice uses current official SourceForge documentation; its stale GitHub mirror was rejected as current-version evidence.", "Inputs/outputs/formats are documented capabilities, not tested cross-tool compatibility. D3 separately reports actual installed-simulator observations.", "GPL/dual/custom licence labels preserve source scope and ambiguity. No licence text or software distribution is included.", "Collection stages and format filters are discovery aids, not supported end-to-end flow certifications." ], "rows": [ { "record_id": "T01", "item_name": "Yosys", "repository_url": "https://github.com/YosysHQ/yosys", "pinned_commit": "5053d0e266d9e5f895211e39e6ee3a94cbba408a", "source_version": "Repository snapshot 5053d0e266d9e5f895211e39e6ee3a94cbba408a", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T01-license" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/COPYING", "path": "COPYING" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T01-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "RTL synthesis", "input_languages": "Verilog and synthesizable SystemVerilog subset", "input_representation": "HDL sources, synthesis script and cell-library inputs", "interchange_output": "Synthesized Verilog netlist in documented example", "execution_model": "Pass-based command-line synthesis flow", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "C++ build plus ABC and library dependencies", "configuration_source": "Yosys commands and synthesis scripts", "project_manifest": null, "exit_status_artifacts": "Command log; exact exit-code contract not verified", "debug_artifacts": "Interactive help and synthesis diagnostics", "platform_support": "Linux build documented; other platforms linked", "version_pin_method": "Pinned repository commit; not claimed latest release", "licence_family": "ISC core; ABC and libraries have separate licences", "integration_caveat": "Language support is a synthesizable subset; a successful downstream handoff was not tested", "supported_standard_scope": "Verilog-2005; synthesizable SystemVerilog 2017/2023 subset", "filter_values": { "stage": [ "Synthesis" ], "language": [ "Verilog", "SystemVerilog" ], "format": [ "Verilog netlist", "Liberty" ], "licence": [ "ISC; dependencies separate" ] }, "licence_sources": [ { "url": "https://github.com/YosysHQ/yosys/blob/5053d0e266d9e5f895211e39e6ee3a94cbba408a/COPYING", "path": "COPYING" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T02", "item_name": "Verilator", "repository_url": "https://github.com/verilator/verilator", "pinned_commit": "1838b6ed035c507bbfffa8d0006ead9dbf836cff", "source_version": "Repository snapshot 1838b6ed035c507bbfffa8d0006ead9dbf836cff", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T02-readme", "T02-license" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" }, { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T02-readme" ], "locators": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "RTL simulation and lint", "input_languages": "Verilog/SystemVerilog", "input_representation": "HDL design plus optional C++/SystemC wrapper", "interchange_output": "C++/header models, SystemC and JSON", "execution_model": "Compiled simulation model or generated --binary executable", "testbench_interface": "C++/SystemC wrapper or supported HDL testbench", "formal_support": null, "assertion_support": null, "coverage_output": "Coverage-analysis instrumentation documented", "waveform_output": null, "dependency_chain": "C++ toolchain and generated model build", "configuration_source": "Command-line flags and wrapper configuration", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Compile/lint diagnostics; model artifacts", "platform_support": null, "version_pin_method": "Pinned repository commit; not claimed latest release", "licence_family": "LGPL-3.0-only OR Artistic-2.0 project declaration", "integration_caveat": "README explicitly limits equivalence with full commercial simulators; SDF/mixed-signal support is not implied", "supported_standard_scope": "Verilog/SystemVerilog feature scope is configuration/version dependent", "filter_values": { "stage": [ "Simulation" ], "language": [ "Verilog", "SystemVerilog" ], "format": [ "C++", "SystemC", "JSON" ], "licence": [ "LGPL-3.0-only OR Artistic-2.0" ] }, "licence_sources": [ { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/README.rst", "path": "README.rst" }, { "url": "https://github.com/verilator/verilator/blob/1838b6ed035c507bbfffa8d0006ead9dbf836cff/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T03", "item_name": "cocotb", "repository_url": "https://github.com/cocotb/cocotb", "pinned_commit": "259bc580bec8cc8a8423a7cce8637eca7c98114a", "source_version": "Repository snapshot 259bc580bec8cc8a8423a7cce8637eca7c98114a", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T03-readme" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T03-readme" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T03-readme" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "execution_model": { "status": "documented", "source_ids": [ "T03-readme" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "documented", "source_ids": [ "T03-simulators" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "documented", "source_ids": [ "T03-simulators" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "waveform_output": { "status": "documented", "source_ids": [ "T03-simulators", "T03-runner" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null }, { "url": "https://docs.cocotb.org/en/stable/runner.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "dependency_chain": { "status": "documented", "source_ids": [ "T03-simulators" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T03-runner" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/runner.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T03-runner" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/runner.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T03-readme" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T03-license" ], "locators": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T03-simulators", "T03-runner" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null }, { "url": "https://docs.cocotb.org/en/stable/runner.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T03-simulators" ], "locators": [ { "url": "https://docs.cocotb.org/en/stable/simulator_support.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "Python-driven HDL verification", "input_languages": "Python with Verilog/VHDL design sources", "input_representation": "Python test modules and simulator-specific HDL build inputs", "interchange_output": null, "execution_model": "Drives an external HDL simulator", "testbench_interface": "VPI, VHPI or FLI integration; simulator-specific differences apply", "formal_support": null, "assertion_support": null, "coverage_output": "Simulator-dependent coverage instructions; no universal coverage format", "waveform_output": "Simulator-specific waveform generation", "dependency_chain": "Python plus supported external simulator", "configuration_source": "Makefile flow or experimental Python runner", "project_manifest": "Python runner arguments or Makefile configuration", "exit_status_artifacts": null, "debug_artifacts": null, "platform_support": null, "version_pin_method": "Pinned repository commit plus dated stable documentation", "licence_family": "BSD-3-Clause root licence", "integration_caveat": "Simulator support page specifies versions and limitations; runner API is experimental", "supported_standard_scope": "HDL support is inherited from the chosen simulator", "filter_values": { "stage": [ "Verification" ], "language": [ "Python", "Verilog", "VHDL" ], "format": [ "Simulator-dependent" ], "licence": [ "BSD-3-Clause" ] }, "licence_sources": [ { "url": "https://github.com/cocotb/cocotb/blob/259bc580bec8cc8a8423a7cce8637eca7c98114a/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T04", "item_name": "SBY", "repository_url": "https://github.com/YosysHQ/sby", "pinned_commit": "79fc9eddca5e33a28cc2f2cd19c9825efd9a7255", "source_version": "Repository snapshot 79fc9eddca5e33a28cc2f2cd19c9825efd9a7255", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T04-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T04-quickstart", "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html", "path": null }, { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T04-quickstart" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "assertion_support": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "documented", "source_ids": [ "T04-quickstart" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "dependency_chain": { "status": "documented", "source_ids": [ "T04-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T04-reference" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/reference.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "documented", "source_ids": [ "T04-quickstart" ], "locators": [ { "url": "https://yosyshq.readthedocs.io/projects/sby/en/latest/quickstart.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T04-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T04-license" ], "locators": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/COPYING", "path": "COPYING" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T04-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." } }, "primary_stage": "Formal verification orchestration", "input_languages": "HDL plus .sby configuration", "input_representation": "Source files, Yosys script and selected proof engines", "interchange_output": "Task logs, status and counterexample trace artifacts", "execution_model": "Runs Yosys and selected formal engines", "testbench_interface": null, "formal_support": "Bounded, proof and cover modes documented", "assertion_support": "Formal assumptions/assertions supported within front-end limits", "coverage_output": null, "waveform_output": "VCD counterexample in quickstart", "dependency_chain": "Yosys and separately installed solver/engine dependencies", "configuration_source": ".sby sections select tasks, options, engines, scripts and files", "project_manifest": ".sby file", "exit_status_artifacts": "Task status/log and example failure return code", "debug_artifacts": null, "platform_support": null, "version_pin_method": "Pinned repository commit plus dated documentation", "licence_family": "ISC; proof engines have separate licences", "integration_caveat": "Some language/SVA front ends require separately licensed components; no proof was run", "supported_standard_scope": null, "filter_values": { "stage": [ "Formal verification" ], "language": [ "Verilog", "SystemVerilog" ], "format": [ "SBY", "VCD" ], "licence": [ "ISC; engines separate" ] }, "licence_sources": [ { "url": "https://github.com/YosysHQ/sby/blob/79fc9eddca5e33a28cc2f2cd19c9825efd9a7255/COPYING", "path": "COPYING" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T05", "item_name": "Surelog", "repository_url": "https://github.com/chipsalliance/Surelog", "pinned_commit": "3d52c754a5bc6ead061f9f21398f815ea42a6ae8", "source_version": "Repository snapshot 3d52c754a5bc6ead061f9f21398f815ea42a6ae8", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T05-license" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T05-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "SystemVerilog front end", "input_languages": "SystemVerilog", "input_representation": "HDL files, file lists, include paths and macro definitions", "interchange_output": "UHDM serialized design model", "execution_model": "Preprocess, parse and elaborate", "testbench_interface": "API integration rather than a simulation testbench interface", "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "UHDM and build dependencies", "configuration_source": "Command-line switches and file lists", "project_manifest": "File-list inputs", "exit_status_artifacts": null, "debug_artifacts": "AST and elaborated model APIs/diagnostics", "platform_support": "Build instructions and supported-toolchain requirements in README", "version_pin_method": "Pinned repository commit", "licence_family": "Apache-2.0 root licence", "integration_caveat": "A parsed/elaborated model is not evidence that a downstream simulator accepts every construct", "supported_standard_scope": "SystemVerilog-2017 front-end scope documented", "filter_values": { "stage": [ "Front end" ], "language": [ "SystemVerilog" ], "format": [ "UHDM", "File list" ], "licence": [ "Apache-2.0" ] }, "licence_sources": [ { "url": "https://github.com/chipsalliance/Surelog/blob/3d52c754a5bc6ead061f9f21398f815ea42a6ae8/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T06", "item_name": "Icarus Verilog", "repository_url": "https://github.com/steveicarus/iverilog", "pinned_commit": "4818db887eb1ab550069bb4cde34b0d2ad695a89", "source_version": "Repository snapshot 4818db887eb1ab550069bb4cde34b0d2ad695a89", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "execution_model": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T06-license" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/COPYING", "path": "COPYING" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T06-readme-txt" ], "locators": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/README.txt", "path": "README.txt" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "HDL compilation and simulation", "input_languages": "Verilog", "input_representation": "Verilog source compilation", "interchange_output": null, "execution_model": "iverilog compiler and vvp runtime commands", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "C/C++ build tools and listed build-time libraries", "configuration_source": "Command-line tools; detailed options referred to manual pages", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": null, "platform_support": "Source build instructions; platform-specific support not independently tested", "version_pin_method": "Pinned repository commit; distinct from D3 installed simulator version", "licence_family": "GPLv2 text in COPYING; per-file exceptions not fully inventoried", "integration_caveat": "README describes incomplete construct coverage; no compatibility result inferred", "supported_standard_scope": "Verilog coverage is incomplete; detailed standard support not verified in selected README", "filter_values": { "stage": [ "Simulation" ], "language": [ "Verilog" ], "format": [ "Compiler/runtime artifacts" ], "licence": [ "GPLv2 text; exceptions unverified" ] }, "licence_sources": [ { "url": "https://github.com/steveicarus/iverilog/blob/4818db887eb1ab550069bb4cde34b0d2ad695a89/COPYING", "path": "COPYING" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T07", "item_name": "GHDL", "repository_url": "https://github.com/ghdl/ghdl", "pinned_commit": "a977191e75d345ee30a936279f425265e52b37b3", "source_version": "Repository snapshot a977191e75d345ee30a936279f425265e52b37b3", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "dependency_chain": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T07-readme", "T07-license" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" }, { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/COPYING.md", "path": "COPYING.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T07-readme" ], "locators": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "VHDL simulation; experimental synthesis", "input_languages": "VHDL", "input_representation": "VHDL sources for analysis, elaboration and execution", "interchange_output": "Waveforms; experimental VHDL-1993 synthesized netlist", "execution_model": "Analyze, elaborate and simulate compiled VHDL", "testbench_interface": "VHDL testbenches; VPI/VHPIDIRECT co-simulation", "formal_support": null, "assertion_support": "Partial PSL support documented", "coverage_output": null, "waveform_output": "GHW, VCD and FST", "dependency_chain": "Backend/toolchain-dependent build; integrations are separate", "configuration_source": "CLI and selected simulator backend", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": null, "platform_support": "GNU/Linux, Windows and macOS", "version_pin_method": "Pinned repository commit", "licence_family": "GPLv2 code; documentation separately licensed", "integration_caveat": "Experimental synthesis and external integrations require separate validation", "supported_standard_scope": "VHDL 1987/1993/2002; partial 2008/2019 support", "filter_values": { "stage": [ "Simulation" ], "language": [ "VHDL" ], "format": [ "GHW", "VCD", "FST", "VHDL netlist" ], "licence": [ "GPLv2 code" ] }, "licence_sources": [ { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/README.md", "path": "README.md" }, { "url": "https://github.com/ghdl/ghdl/blob/a977191e75d345ee30a936279f425265e52b37b3/COPYING.md", "path": "COPYING.md" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T08", "item_name": "NVC", "repository_url": "https://github.com/nickg/nvc", "pinned_commit": "ef6f527cad74b3058b213d6e38ca438b8d044597", "source_version": "Repository snapshot ef6f527cad74b3058b213d6e38ca438b8d044597", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "dependency_chain": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T08-readme", "T08-license" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" }, { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/COPYING", "path": "COPYING" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T08-readme" ], "locators": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "VHDL simulation", "input_languages": "VHDL; experimental Verilog", "input_representation": "VHDL source units", "interchange_output": "FST waveform in documented example", "execution_model": "Analysis, elaboration and LLVM-based native simulation", "testbench_interface": null, "formal_support": null, "assertion_support": "PSL explicitly excepted from claimed VHDL-2008 coverage", "coverage_output": null, "waveform_output": "FST documented", "dependency_chain": "LLVM and native build dependencies", "configuration_source": "Command-line analyze/elaborate/run options", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": null, "platform_support": "GNU/Linux; macOS and Windows/MSYS2 documented", "version_pin_method": "Pinned repository commit", "licence_family": "GPL-3.0-or-later core; specified VHDL libraries Apache-2.0", "integration_caveat": "Not a synthesizer; experimental language features are not established compatibility", "supported_standard_scope": "Almost all VHDL-2008 except PSL; experimental VHDL-2019/Verilog", "filter_values": { "stage": [ "Simulation" ], "language": [ "VHDL", "Experimental Verilog" ], "format": [ "FST" ], "licence": [ "GPL-3.0-or-later; library exceptions" ] }, "licence_sources": [ { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/README.md", "path": "README.md" }, { "url": "https://github.com/nickg/nvc/blob/ef6f527cad74b3058b213d6e38ca438b8d044597/COPYING", "path": "COPYING" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T09", "item_name": "Verible", "repository_url": "https://github.com/chipsalliance/verible", "pinned_commit": "0f26265133bda3ade669bc36fc71a6e1f39ad809", "source_version": "Repository snapshot 0f26265133bda3ade669bc36fc71a6e1f39ad809", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T09-readme", "T09-license" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" }, { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T09-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "SystemVerilog parsing, lint and formatting", "input_languages": "SystemVerilog", "input_representation": "Source text, including unpreprocessed fragments", "interchange_output": "Concrete syntax tree JSON and formatted source", "execution_model": "Standalone tools and language-server services", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Build/dependency details in repository", "configuration_source": "Tool flags and lint/format configuration", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Syntax-tree export and lint diagnostics", "platform_support": "Linux and Windows binaries; macOS package referenced", "version_pin_method": "Pinned repository commit", "licence_family": "Apache-2.0 with file-specific third-party notices", "integration_caveat": "Source parsing/lint is not simulation, synthesis or complete preprocessing", "supported_standard_scope": "IEEE 1800-2017 parser mission", "filter_values": { "stage": [ "Static analysis" ], "language": [ "SystemVerilog" ], "format": [ "CST JSON", "SystemVerilog" ], "licence": [ "Apache-2.0; file exceptions" ] }, "licence_sources": [ { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/README.md", "path": "README.md" }, { "url": "https://github.com/chipsalliance/verible/blob/0f26265133bda3ade669bc36fc71a6e1f39ad809/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T10", "item_name": "slang", "repository_url": "https://github.com/MikePopoloski/slang", "pinned_commit": "eafcf0a60eeb650b869cb86509f5cfe40297e20a", "source_version": "Repository snapshot eafcf0a60eeb650b869cb86509f5cfe40297e20a", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T10-license" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T10-readme" ], "locators": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "SystemVerilog language front end", "input_languages": "SystemVerilog", "input_representation": "HDL source project", "interchange_output": "AST JSON and API model", "execution_model": "Library/CLI parsing, type checking and elaboration", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "C++ build and optional Python bindings", "configuration_source": "CLI and library/API configuration", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Diagnostics and AST inspection", "platform_support": "Linux, macOS and Windows binaries", "version_pin_method": "Pinned repository commit", "licence_family": "MIT", "integration_caveat": "Frontend acceptance is not a simulation or implementation result", "supported_standard_scope": "SystemVerilog language services; no independent compliance score assigned", "filter_values": { "stage": [ "Front end" ], "language": [ "SystemVerilog" ], "format": [ "AST JSON" ], "licence": [ "MIT" ] }, "licence_sources": [ { "url": "https://github.com/MikePopoloski/slang/blob/eafcf0a60eeb650b869cb86509f5cfe40297e20a/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T11", "item_name": "sv2v", "repository_url": "https://github.com/zachjs/sv2v", "pinned_commit": "493a88f930802da68f592c192ec86991eaf95c49", "source_version": "Repository snapshot 493a88f930802da68f592c192ec86991eaf95c49", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T11-license" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T11-readme" ], "locators": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "HDL conversion", "input_languages": "SystemVerilog", "input_representation": "Source files with include paths and macros", "interchange_output": "Verilog source to stdout or files", "execution_model": "Source-to-source conversion", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Haskell toolchain when building from source", "configuration_source": "CLI conversion flags and macro definitions", "project_manifest": "Explicit source file list on invocation", "exit_status_artifacts": null, "debug_artifacts": "Intermediate/pass-through output and bug-reduction options", "platform_support": "Ubuntu, macOS and Windows binaries", "version_pin_method": "Pinned repository commit", "licence_family": "BSD-3-Clause", "integration_caveat": "Usually process the complete source set together; unconverted features need review", "supported_standard_scope": "Synthesizable SystemVerilog-2017 to Verilog-2005", "filter_values": { "stage": [ "Conversion" ], "language": [ "SystemVerilog" ], "format": [ "Verilog-2005" ], "licence": [ "BSD-3-Clause" ] }, "licence_sources": [ { "url": "https://github.com/zachjs/sv2v/blob/493a88f930802da68f592c192ec86991eaf95c49/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T12", "item_name": "UHDM", "repository_url": "https://github.com/chipsalliance/UHDM", "pinned_commit": "daa95e1e433a8652ca3ea7552ab0e7ff97040562", "source_version": "Repository snapshot daa95e1e433a8652ca3ea7552ab0e7ff97040562", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T12-license" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T12-readme" ], "locators": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "Design representation and interchange", "input_languages": "SystemVerilog object-model definitions", "input_representation": "YAML object definitions and populated design models", "interchange_output": "Persisted UHDM models and C++/VPI API access", "execution_model": "Model generation, serialization and traversal", "testbench_interface": "VPI-style model access, not a simulation engine", "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "C++ generation/build and optional SWIG Python wrapper", "configuration_source": "YAML model definitions and build switches", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Model traversal/listeners and optional lint visitor", "platform_support": null, "version_pin_method": "Pinned repository commit", "licence_family": "Apache-2.0", "integration_caveat": "Folded and fully elaborated representations differ; consumer expectations must be checked", "supported_standard_scope": "SystemVerilog-2017 object model; VHDL roadmap is not current support", "filter_values": { "stage": [ "Interchange" ], "language": [ "SystemVerilog model", "YAML" ], "format": [ "UHDM", "VPI model" ], "licence": [ "Apache-2.0" ] }, "licence_sources": [ { "url": "https://github.com/chipsalliance/UHDM/blob/daa95e1e433a8652ca3ea7552ab0e7ff97040562/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T13", "item_name": "OpenROAD", "repository_url": "https://github.com/The-OpenROAD-Project/OpenROAD", "pinned_commit": "fb59e23b1dc4edd83a3ad31ac57bdfbed194b151", "source_version": "Repository snapshot fb59e23b1dc4edd83a3ad31ac57bdfbed194b151", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T13-license" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T13-readme" ], "locators": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "ASIC physical design", "input_languages": "Verilog netlist plus physical/timing inputs", "input_representation": "Documented flow inputs: RTL, SDC, Liberty and LEF", "interchange_output": "Physical-design handoff within ORFS; GDSII generation uses KLayout", "execution_model": "Floorplanning, placement, clock-tree and routing stages", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "OpenROAD plus flow scripts, PDK inputs and downstream tools", "configuration_source": "Flow/PDK configuration; Tcl/Python APIs", "project_manifest": "Bazel dependency/build configuration", "exit_status_artifacts": null, "debug_artifacts": "Design-stage reports and GUI inspection", "platform_support": null, "version_pin_method": "Pinned repository commit", "licence_family": "BSD-3-Clause; PDKs and other tools separately licensed", "integration_caveat": "OpenROAD is one part of ORFS; a PDK-supported flow is not established by file-format names", "supported_standard_scope": "ASIC physical-design flow; no foundry/signoff equivalence claimed", "filter_values": { "stage": [ "Place and route" ], "language": [ "Verilog", "Tcl", "Python" ], "format": [ "LEF", "Liberty", "SDC", "Flow GDSII" ], "licence": [ "BSD-3-Clause" ] }, "licence_sources": [ { "url": "https://github.com/The-OpenROAD-Project/OpenROAD/blob/fb59e23b1dc4edd83a3ad31ac57bdfbed194b151/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T14", "item_name": "OpenSTA", "repository_url": "https://github.com/parallaxsw/OpenSTA", "pinned_commit": "b3e1b3989809e1c70f265a9e7be33438c3ebf8bf", "source_version": "Repository snapshot b3e1b3989809e1c70f265a9e7be33438c3ebf8bf", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T14-readme", "T14-license" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" }, { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T14-readme" ], "locators": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "Static timing analysis", "input_languages": "Gate-level Verilog and timing constraints", "input_representation": "Verilog, Liberty, SDC, SDF, SPEF and activity files", "interchange_output": "Timing reports through Tcl commands", "execution_model": "Timing engine/library with Tcl interpreter", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "C++ build, Tcl and required timing-engine dependencies", "configuration_source": "Tcl commands and SDC", "project_manifest": "Build-system configuration; design script separate", "exit_status_artifacts": null, "debug_artifacts": "Timing paths, checks and diagnostic reports", "platform_support": "Ubuntu and Darwin build requirements documented", "version_pin_method": "Pinned repository commit", "licence_family": "GPL-3.0 open-source option; separate commercial licence exists", "integration_caveat": "Clock/exception/library correctness must be established independently", "supported_standard_scope": "Standard timing/netlist formats listed; no signoff certification inferred", "filter_values": { "stage": [ "Timing analysis" ], "language": [ "Verilog", "Tcl" ], "format": [ "Liberty", "SDC", "SDF", "SPEF", "VCD", "SAIF" ], "licence": [ "GPL-3.0" ] }, "licence_sources": [ { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/README.md", "path": "README.md" }, { "url": "https://github.com/parallaxsw/OpenSTA/blob/b3e1b3989809e1c70f265a9e7be33438c3ebf8bf/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T15", "item_name": "KLayout", "repository_url": "https://github.com/KLayout/klayout", "pinned_commit": "7eb9a25b42242a97e61300ad3a1486e10937abf5", "source_version": "Repository snapshot 7eb9a25b42242a97e61300ad3a1486e10937abf5", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T15-readme", "T15-formats" ], "locators": [ { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/README.md", "path": "README.md" }, { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T15-readme" ], "locators": [ { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T15-formats" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T15-readme" ], "locators": [ { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T15-readme" ], "locators": [ { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T15-formats", "T15-license" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null }, { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T15-formats", "T15-license" ], "locators": [ { "url": "https://www.klayout.de/intro.html", "path": null }, { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." } }, "primary_stage": "Layout viewing/editing and checking", "input_languages": "Layout databases; Ruby/Python scripting", "input_representation": "GDSII/OASIS layout data and technology setup", "interchange_output": "GDSII/OASIS read/write", "execution_model": "GUI plus scripted layout processing, DRC/LVS tools", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Qt/C++ build; optional Ruby/Python bindings", "configuration_source": "Technology packages and scripts", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Layout views and comparison/checking features", "platform_support": "Linux and Windows build instructions", "version_pin_method": "Pinned repository commit plus dated project introduction", "licence_family": "Project introduction: GPL-2.0-or-later; repository supplies GPLv3 text", "integration_caveat": "Licence wording scopes differ; technology rules and foundry signoff are separate", "supported_standard_scope": null, "filter_values": { "stage": [ "Layout" ], "language": [ "Ruby", "Python" ], "format": [ "GDSII", "OASIS" ], "licence": [ "GPL-2.0-or-later statement; GPLv3 text" ] }, "licence_sources": [ { "url": "https://www.klayout.de/intro.html", "path": null }, { "url": "https://github.com/KLayout/klayout/blob/7eb9a25b42242a97e61300ad3a1486e10937abf5/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T16", "item_name": "Magic", "repository_url": "https://github.com/RTimothyEdwards/magic", "pinned_commit": "bed8d4ff84333767aa923d469d339cd05c56a00a", "source_version": "Repository snapshot bed8d4ff84333767aa923d469d339cd05c56a00a", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "input_representation": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T16-license-correct" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T16-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." } }, "primary_stage": "Layout editing, extraction and DRC", "input_languages": null, "input_representation": "Layout and technology-rule data", "interchange_output": "GDS/CIF and hierarchical SPICE extraction documented", "execution_model": "Interactive/scripted layout processing", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Build dependencies and technology-file inputs", "configuration_source": "Technology-specific extraction/DRC rules", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "DRC and extraction outputs", "platform_support": "Repository references macOS and general installation instructions", "version_pin_method": "Pinned repository commit", "licence_family": "University of California permissive notice in LICENSE", "integration_caveat": "Extraction and DRC depend on technology rules; no process signoff implied", "supported_standard_scope": null, "filter_values": { "stage": [ "Layout" ], "language": [ "Layout rules" ], "format": [ "GDS", "CIF", "SPICE" ], "licence": [ "UC permissive notice" ] }, "licence_sources": [ { "url": "https://github.com/RTimothyEdwards/magic/blob/bed8d4ff84333767aa923d469d339cd05c56a00a/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T17", "item_name": "Netgen", "repository_url": "https://github.com/RTimothyEdwards/netgen", "pinned_commit": "e5a185dcfa16ee6317883f02bfdc8cf10feabd0e", "source_version": "Repository snapshot e5a185dcfa16ee6317883f02bfdc8cf10feabd0e", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "input_representation": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T17-license" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/Copying", "path": "Copying" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T17-readme" ], "locators": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." } }, "primary_stage": "Netlist comparison / LVS", "input_languages": null, "input_representation": "Two netlists and technology comparison setup", "interchange_output": "Netlist conversions and comparison report", "execution_model": "Batch/interactive netlist comparison", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Tcl-enabled build and process-specific setup rules", "configuration_source": "setup.tcl and comparison arguments", "project_manifest": null, "exit_status_artifacts": "Comparison report file; exact exit-code semantics unverified", "debug_artifacts": "comp.out comparison output in documented flow", "platform_support": "macOS build instructions; other platforms not individually tested", "version_pin_method": "Pinned repository commit", "licence_family": "Copying contains GPLv1 text; complete current per-file scope unverified", "integration_caveat": "Comparison rules and netlist extraction must match; licence scope needs file-level review", "supported_standard_scope": null, "filter_values": { "stage": [ "LVS" ], "language": [ "Netlist expressions", "Tcl" ], "format": [ "SPICE", "SIM", "NTK", "WOMBAT", "ACTEL" ], "licence": [ "GPLv1 text; scope unresolved" ] }, "licence_sources": [ { "url": "https://github.com/RTimothyEdwards/netgen/blob/e5a185dcfa16ee6317883f02bfdc8cf10feabd0e/Copying", "path": "Copying" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T18", "item_name": "nextpnr", "repository_url": "https://github.com/YosysHQ/nextpnr", "pinned_commit": "22c5adf423ecb602dfc1250d10f740ccfff0786a", "source_version": "Repository snapshot 22c5adf423ecb602dfc1250d10f740ccfff0786a", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "input_representation": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T18-license" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/COPYING", "path": "COPYING" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T18-readme" ], "locators": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "FPGA place and route", "input_languages": null, "input_representation": "Yosys JSON netlist and architecture-specific constraints", "interchange_output": "iCE40 ASC in documented example; outputs vary by architecture", "execution_model": "Architecture-specific packing, placement and routing", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Device database/tooling plus C++ build dependencies", "configuration_source": "CLI flags, device selection and optional Python control", "project_manifest": "CMake architecture/build settings", "exit_status_artifacts": null, "debug_artifacts": "Optional GUI and routing/design inspection", "platform_support": "Windows and macOS build instructions; Unix-style example flow", "version_pin_method": "Pinned repository commit", "licence_family": "ISC", "integration_caveat": "Device backends have different maturity; experimental generic support is not production coverage", "supported_standard_scope": "Supported FPGA architectures listed; not ASIC routing", "filter_values": { "stage": [ "Place and route" ], "language": [ "JSON netlist", "Python" ], "format": [ "Yosys JSON", "PCF", "ASC" ], "licence": [ "ISC" ] }, "licence_sources": [ { "url": "https://github.com/YosysHQ/nextpnr/blob/22c5adf423ecb602dfc1250d10f740ccfff0786a/COPYING", "path": "COPYING" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T19", "item_name": "FuseSoC", "repository_url": "https://github.com/olofk/fusesoc", "pinned_commit": "2ed5d336467f31d552641fb986339ccefb0ee1cb", "source_version": "Repository snapshot 2ed5d336467f31d552641fb986339ccefb0ee1cb", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T19-doc" ], "locators": [ { "url": "https://fusesoc.readthedocs.io/en/stable/user/introduction.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T19-doc" ], "locators": [ { "url": "https://fusesoc.readthedocs.io/en/stable/user/introduction.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "platform_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "version_pin_method": { "status": "documented", "source_ids": [ "T19-readme" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/README.md", "path": "README.md" } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T19-license" ], "locators": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/LICENSE", "path": "LICENSE" } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T19-doc" ], "locators": [ { "url": "https://fusesoc.readthedocs.io/en/stable/user/introduction.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." } }, "primary_stage": "HDL package and build orchestration", "input_languages": "HDL sources and package metadata", "input_representation": "Core descriptions, dependencies and selected backend", "interchange_output": "Backend-specific simulation/build products", "execution_model": "Resolve sources and invoke external EDA tools", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Python and selected external toolchain", "configuration_source": "Core files, targets and command-line options", "project_manifest": "FuseSoC .core files", "exit_status_artifacts": null, "debug_artifacts": null, "platform_support": null, "version_pin_method": "Pinned repository commit plus stable documentation snapshot", "licence_family": "BSD-2-Clause", "integration_caveat": "Backend availability does not prove that a particular design builds across all tools", "supported_standard_scope": null, "filter_values": { "stage": [ "Build orchestration" ], "language": [ "HDL metadata" ], "format": [ "Core files", "Backend-dependent" ], "licence": [ "BSD-2-Clause" ] }, "licence_sources": [ { "url": "https://github.com/olofk/fusesoc/blob/2ed5d336467f31d552641fb986339ccefb0ee1cb/LICENSE", "path": "LICENSE" } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" }, { "record_id": "T20", "item_name": "ngspice", "repository_url": "https://git.code.sf.net/p/ngspice/ngspice", "pinned_commit": null, "source_version": "Official manual 47+ development edition, 2026-09-28", "field_evidence": { "primary_stage": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "input_languages": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "input_representation": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "interchange_output": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "execution_model": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "testbench_interface": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "formal_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "assertion_support": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "coverage_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "waveform_output": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "dependency_chain": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "configuration_source": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "project_manifest": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "exit_status_artifacts": { "status": "unknown", "source_ids": [], "locators": [], "note": "Not verified in selected documentation; not an absence claim." }, "debug_artifacts": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "platform_support": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "version_pin_method": { "status": "documented", "source_ids": [ "T20-manual" ], "locators": [ { "url": "https://ngspice.sourceforge.io/docs/ngspice-manual.pdf", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "licence_family": { "status": "documented", "source_ids": [ "T20-devel" ], "locators": [ { "url": "https://ngspice.sourceforge.io/devel.html", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "integration_caveat": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." }, "supported_standard_scope": { "status": "documented", "source_ids": [ "T20-project" ], "locators": [ { "url": "https://ngspice.sourceforge.io/", "path": null } ], "note": "Documentation observation; no execution or interoperability test." } }, "primary_stage": "Analog/mixed-signal circuit simulation", "input_languages": "SPICE netlists and device/model descriptions", "input_representation": "Circuit netlist and component-model data", "interchange_output": "Simulation data, voltage/current results and plots", "execution_model": "Numerical circuit simulation with command/control input", "testbench_interface": null, "formal_support": null, "assertion_support": null, "coverage_output": null, "waveform_output": null, "dependency_chain": "Models and optional mixed-signal integration have separate requirements", "configuration_source": "Netlist analyses, models and control commands", "project_manifest": null, "exit_status_artifacts": null, "debug_artifacts": "Simulation results and diagnostic output", "platform_support": "Linux, Windows, macOS and FreeBSD documented", "version_pin_method": "Official manual 47+ development edition, September 28, 2026; source revision not pinned", "licence_family": "Modified BSD for most code, with exceptions explicitly retained", "integration_caveat": "No schematic entry; SPICE compatibility does not establish every proprietary model works", "supported_standard_scope": "SPICE-family circuit simulation; model dialect and optional integrations require checking", "filter_values": { "stage": [ "Analog simulation" ], "language": [ "SPICE" ], "format": [ "SPICE netlist", "Simulation data" ], "licence": [ "Modified BSD; exceptions" ] }, "licence_sources": [ { "url": "https://ngspice.sourceforge.io/devel.html", "path": null } ], "checked_date": "2026-10-24", "execution_status": "Not executed for D1" } ] }