Skip to main content

RISC-V Summit North America 2025 · Santa Clara, California - Oct 22-23 · Register Now

Ecosystem News

Groundbreaking Formal Verification Further Enhances the Quality of CHERIoT-Ibex

By February 12, 2025No Comments

Collaboration milestone addresses key pain points of typical design verification (DV) approaches, improving confidence while reducing cost, time, and resource spend

CAMBRIDGE, England – 10th February, 2025 –  lowRISC C.I.C., the open silicon ecosystem organisation, today announced the addition of formal verification to the toolbox of open source design verification (DV) techniques used to ensure the commercial level quality of the Microsoft-created CHERIoT-Ibex core, the processor at the heart of the UKRI-funded Sonata™ platform.

Read More.