RISC-V open-source architecture is creating new opportunities for semiconductor designs in a way that is unprecedented. However, as processors become more complex with design optimisations, verification is becoming a major roadblock. Quadrillions of simulation cycles are not picking up simple design bugs that should have been caught on day one. 

Processors are increasingly being used in automotive, and functional safety is a major requirement that needs addressing in verification for reliability and compliance with standards such as ISO26262. 

Security flaws are detected now almost every day in commercial-grade processors, so security verification is equally important. As AI/ML dominates the landscape of semiconductors, functional correctness is as important as safety, security and low power. 

Formal verification can establish proofs of bug absence whilst at the same time can catch corner-case bugs. At Axiomise, we have taken the formal verification for RISC-V processors to a whole new level providing end-to-end functional correctness, architectural compliance, as well as six-dimensional coverage to provide the best assurance possible by any verification technology.

Our RISC-V studio is a collection of public talks that showcase our formal verification solutions for RISC-V on several open-source RISC-V processors