Skip to content

Milestones

List view

  • M6

    lowRISC: Report on complete test plans for V1 sign-off. CAPLTD: CVA6-CHERI updated tag-controller / tag-cache design report proposing performance optimisations. OUI/MS: Joint Report on RV Instr + CHERI Instr proof. Report on scaling

    Overdue by 1 month(s)
    •
    Due by March 13, 2026
    0% complete0 open0 closed

  • M5

    lowRISC: Report on SoC reference design status (DD). Report on SoC verification status (DV). CAPLTD: CVA6-CHERI updated open-source release that supports booting CHERI-seL4, CheriBSD, and CHERI Linux against RV64Y, along with test report. OUI/MS: Report on Pilot end-to-end properties

    Overdue by 1 month(s)
    •
    Due by February 28, 2026
    0% complete0 open0 closed

  • M4

    lowRISC: Commercial report on uptake from stakeholders for possible SoC tapeouts. Report on FPGA / simulation target status. CAPLTD: CVA6-CHERI OpenHW Foundation upstreaming report. OUI/MS: Report on Data type invariants + Status of Import of existing CHERI arithmetic proofs + Scoreboard analysis and FV strategy planning

    Overdue by 2 month(s)
    •
    Due by January 31, 2026
    0% complete0 open0 closed

  • M3

    lowRISC: Report on SoC block modifications to support CHERI (Memory subsystem + peripherals). CAPLTD: CVA6-CHERI initial dynamic performance report. OUI/MS: Joint Report on Initial FV framework

    Overdue by 3 month(s)
    •
    Due by December 31, 2025
    •0/1 issues closed
    0% complete1 open0 closed

  • M2

    lowRISC: Report on Design Verification (DV) Testplan approach, verification strategy (block, top, software level tests), and SoC Requirements from stakeholders. Report on marketing strategy. CAPLTD: CVA6-CHERI software roadmap report (inc. requirements discovery from Google). OUI/MS: Report on Formal bring-up of design in Jasper

    Overdue by 4 month(s)
    •
    Due by November 30, 2025
    0% complete0 open0 closed