{
  "version": "1.0",
  "updated": "2026-03-15T00:00:00Z",
  "entries": [
    {
      "title": "MIRR: A Safety-Critical HDL Compiler with Formal Width Inference",
      "authors": ["Brandon"],
      "url": "https://brandonfromph.github.io/mirr-project/paper/",
      "hash": "sha256:6ad504f180a021084ddde9657ac0f49f88761193908ab419e54c06202204691a",
      "capability": "mirr-compiler",
      "keywords": ["HDL", "compiler", "safety-critical", "formal verification", "width inference", "SystemVerilog", "FIRRTL", "WASM", "NASA Power-of-10"],
      "license": "Apache-2.0",
      "version": "0.3.0",
      "depends": [],
      "peers": [],
      "registered": "2026-03-15T00:00:00Z",
      "verifications": {
        "last_verified": null,
        "total_verifications": 0,
        "total_challenges": 0
      }
    }
  ]
}
