Episode 19: How is Axiomise making formal normal?
Formal bytes: The Axiomise Podcast Channel - Un pódcast de Axiomise
Categorías:
In this DAC special, Dr. Darbari explains how Axiomise is making formal normal by combining training, and custom formal verification solutions. He talks about formalISA, a new app launched this week, and how it is able to obtain proofs, bugs, and coverage for establishing ISA compliance for RISC-V processors without writing a single line of verification code.
