{
  "timestamp_utc": "2026-10-24T16:07:24.318666+00:00",
  "phase": "Milestone 8 Closeout: Standard Floating-Point (RV64FD) & Vector Execution (RVV 1.0)",
  "production_rtl_manifest_sha256": "4d6fc54a6efb0d0deb94d4416926bd769c0783871499075f5de434959206d7cb",
  "production_rtl_file_count": 40,
  "spec_reference": {
    "document": "docs/architecture/slice1-m8-fp-vector-v1.md",
    "version": "1.1",
    "sha256": "55a4fa1623c073d9b06d7384f7ea3ce0ad0824b7f240819179962994b68d92e6"
  },
  "closeout_verification": {
    "status": "pass",
    "total_properties_tested": 4,
    "properties_passed": 4,
    "passed_properties": [
      "PROP_M8_37",
      "PROP_M8_38",
      "PROP_M8_39",
      "PROP_M8_40"
    ],
    "cpi_conservation_status": "pass",
    "torture_ops_completed": 75000,
    "torture_mismatches": 0
  },
  "numerical_benchmark_profiles": {
    "linpack_daxpy": {
      "cycles": 18,
      "instret": 5,
      "ipc": 0.2778,
      "cpi_breakdown": {
        "C_serialize": 0,
        "C_br_recover": 0,
        "C_productive": 4,
        "C_mem_stall": 6,
        "C_be_rename": 0,
        "C_be_sched": 0,
        "C_fe_starve": 2,
        "C_idle_other": 6
      },
      "events": {
        "0x01": 527,
        "0x02": 462,
        "0x03": 253,
        "0x04": 66,
        "0x05": 247,
        "0x06": 0,
        "0x07": 253,
        "0x08": 3,
        "0x09": 10,
        "0x0a": 0,
        "0x0b": 296,
        "0x0c": 9,
        "0x0d": 0,
        "0x0e": 0,
        "0x0f": 0,
        "0x10": 0,
        "0x11": 0,
        "0x12": 0,
        "0x13": 98,
        "0x14": 0,
        "0x15": 21,
        "0x16": 0,
        "0x17": 0,
        "0x18": 0,
        "0x19": 0,
        "0x1a": 0,
        "0x1b": 33,
        "0x1c": 2,
        "0x1d": 0,
        "0x1e": 0,
        "0x1f": 2,
        "0x20": 0,
        "0x21": 473,
        "0x22": 525,
        "0x23": 2,
        "0x24": 0,
        "0x25": 0,
        "0x26": 0,
        "0x27": 0,
        "0x28": 0,
        "0x29": 2,
        "0x2a": 6,
        "0x2b": 0,
        "0x2c": 0,
        "0x2d": 95,
        "0x2e": 4,
        "0x2f": 1,
        "0x30": 41,
        "0x31": 0,
        "0x32": 0,
        "0x33": 0,
        "0x34": 0,
        "0x35": 0,
        "0x36": 0,
        "0x37": 0,
        "0x38": 0,
        "0x39": 1,
        "0x3a": 1,
        "0x3b": 1,
        "0x3c": 136,
        "0x3d": 1,
        "0x3e": 3,
        "0x3f": 1,
        "0x40": 1
      }
    },
    "scimark2_sor": {
      "cycles": 22,
      "instret": 5,
      "ipc": 0.2273,
      "cpi_breakdown": {
        "C_serialize": 0,
        "C_br_recover": 0,
        "C_productive": 5,
        "C_mem_stall": 6,
        "C_be_rename": 0,
        "C_be_sched": 1,
        "C_fe_starve": 2,
        "C_idle_other": 8
      },
      "events": {
        "0x01": 549,
        "0x02": 480,
        "0x03": 271,
        "0x04": 70,
        "0x05": 247,
        "0x06": 15,
        "0x07": 271,
        "0x08": 4,
        "0x09": 13,
        "0x0a": 0,
        "0x0b": 317,
        "0x0c": 23,
        "0x0d": 0,
        "0x0e": 0,
        "0x0f": 0,
        "0x10": 0,
        "0x11": 0,
        "0x12": 0,
        "0x13": 116,
        "0x14": 0,
        "0x15": 21,
        "0x16": 0,
        "0x17": 0,
        "0x18": 0,
        "0x19": 0,
        "0x1a": 0,
        "0x1b": 48,
        "0x1c": 5,
        "0x1d": 0,
        "0x1e": 0,
        "0x1f": 4,
        "0x20": 0,
        "0x21": 480,
        "0x22": 545,
        "0x23": 3,
        "0x24": 0,
        "0x25": 0,
        "0x26": 0,
        "0x27": 0,
        "0x28": 0,
        "0x29": 4,
        "0x2a": 11,
        "0x2b": 0,
        "0x2c": 0,
        "0x2d": 109,
        "0x2e": 9,
        "0x2f": 2,
        "0x30": 41,
        "0x31": 1,
        "0x32": 0,
        "0x33": 0,
        "0x34": 0,
        "0x35": 0,
        "0x36": 0,
        "0x37": 0,
        "0x38": 0,
        "0x39": 1,
        "0x3a": 1,
        "0x3b": 1,
        "0x3c": 136,
        "0x3d": 1,
        "0x3e": 4,
        "0x3f": 1,
        "0x40": 1
      }
    },
    "whetstone_kernel": {
      "cycles": 71,
      "instret": 5,
      "ipc": 0.0704,
      "cpi_breakdown": {
        "C_serialize": 4,
        "C_br_recover": 0,
        "C_productive": 5,
        "C_mem_stall": 0,
        "C_be_rename": 36,
        "C_be_sched": 0,
        "C_fe_starve": 9,
        "C_idle_other": 17
      },
      "events": {
        "0x01": 620,
        "0x02": 541,
        "0x03": 320,
        "0x04": 80,
        "0x05": 261,
        "0x06": 15,
        "0x07": 320,
        "0x08": 5,
        "0x09": 16,
        "0x0a": 0,
        "0x0b": 373,
        "0x0c": 64,
        "0x0d": 0,
        "0x0e": 0,
        "0x0f": 0,
        "0x10": 0,
        "0x11": 0,
        "0x12": 0,
        "0x13": 139,
        "0x14": 0,
        "0x15": 23,
        "0x16": 0,
        "0x17": 0,
        "0x18": 0,
        "0x19": 0,
        "0x1a": 0,
        "0x1b": 67,
        "0x1c": 11,
        "0x1d": 0,
        "0x1e": 0,
        "0x1f": 4,
        "0x20": 0,
        "0x21": 531,
        "0x22": 616,
        "0x23": 3,
        "0x24": 0,
        "0x25": 0,
        "0x26": 0,
        "0x27": 0,
        "0x28": 0,
        "0x29": 4,
        "0x2a": 11,
        "0x2b": 0,
        "0x2c": 0,
        "0x2d": 128,
        "0x2e": 15,
        "0x2f": 2,
        "0x30": 45,
        "0x31": 1,
        "0x32": 0,
        "0x33": 0,
        "0x34": 0,
        "0x35": 0,
        "0x36": 0,
        "0x37": 0,
        "0x38": 0,
        "0x39": 1,
        "0x3a": 1,
        "0x3b": 1,
        "0x3c": 150,
        "0x3d": 1,
        "0x3e": 4,
        "0x3f": 1,
        "0x40": 1
      }
    },
    "vector_stream": {
      "cycles": 52,
      "instret": 32,
      "ipc": 0.6154,
      "cpi_breakdown": {
        "C_serialize": 4,
        "C_br_recover": 0,
        "C_productive": 0,
        "C_mem_stall": 0,
        "C_be_rename": 34,
        "C_be_sched": 4,
        "C_fe_starve": 7,
        "C_idle_other": 4
      },
      "events": {
        "0x01": 672,
        "0x02": 587,
        "0x03": 345,
        "0x04": 87,
        "0x05": 284,
        "0x06": 15,
        "0x07": 346,
        "0x08": 6,
        "0x09": 20,
        "0x0a": 0,
        "0x0b": 402,
        "0x0c": 64,
        "0x0d": 0,
        "0x0e": 0,
        "0x0f": 0,
        "0x10": 0,
        "0x11": 0,
        "0x12": 0,
        "0x13": 147,
        "0x14": 0,
        "0x15": 25,
        "0x16": 0,
        "0x17": 0,
        "0x18": 0,
        "0x19": 0,
        "0x1a": 0,
        "0x1b": 69,
        "0x1c": 11,
        "0x1d": 0,
        "0x1e": 0,
        "0x1f": 4,
        "0x20": 0,
        "0x21": 579,
        "0x22": 668,
        "0x23": 3,
        "0x24": 0,
        "0x25": 0,
        "0x26": 0,
        "0x27": 0,
        "0x28": 0,
        "0x29": 4,
        "0x2a": 11,
        "0x2b": 0,
        "0x2c": 0,
        "0x2d": 136,
        "0x2e": 15,
        "0x2f": 2,
        "0x30": 49,
        "0x31": 1,
        "0x32": 0,
        "0x33": 0,
        "0x34": 0,
        "0x35": 0,
        "0x36": 0,
        "0x37": 0,
        "0x38": 0,
        "0x39": 1,
        "0x3a": 1,
        "0x3b": 1,
        "0x3c": 164,
        "0x3d": 1,
        "0x3e": 4,
        "0x3f": 1,
        "0x40": 1
      }
    }
  },
  "elapsed_seconds": 2.15,
  "overall_status": "PASS"
}