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.

Visit the podcast's native language site