Skip to main content

Pushing forward the frontiers of formal in Arm CPUs

Conference: Verification Futures 2024 (click here to see full programme)
Speaker: Vikram Khosa
Presentation Title: Pushing forward the frontiers of formal in Arm CPUs

Over the last decade, formal verification has been steadily maturing into a mainstream methodology and seeing serious adoption across various semiconductor companies, including Arm. However, the long-held promise of being able to deploy formal to exhaustively verify designs in a timely manner is still limited by size, complexity, and cost of compute. In addition, opportunities for novel formal use-cases are also tempered by their own fresh set of challenges. This talk covers some of these challenges and the innovative solutions being developed to address the twin demands of convergence and efficiency.

Speaker Bio:

Vikram Khosa has been spearheading initiatives in formal methodology as well as involved in hands-on deployment of formal methods for functional and security verification, across various roles in A-class CPU design projects, at Arm’s Austin design center since 2013. Previously, he led memory-system verification for the Cortex A15 CPU. He has also worked in various verification roles for other companies, including 2 early-stage start-ups. He holds a master’s in computer engineering from the University of Minnesota, Twin Cities and a B.E. (Hons.) from BITS Pilani.

Key Points:
  • Formal is now a mainstream methodology at several hardware companies including Arm.
  • However, formal deployment is still limited by size and complexity of designs, alongside cost of compute.
  • We discuss these challenges and efforts at solving them across Arm CPU formal teams.
  • Close Menu