[VIDEO] Why Does Formal Verification Matter for Semiconductors?

By RISC-V Community NewsApril 1, 2024April 2nd, 2024No Comments

Axiomise formal verification is about making formal verification normal by deploying consulting and services on customer projects, leveraged by Axiomise training and formalISA for RISC-V. The Axiomise team explains why formal verification is critical for semiconductors.

Watch the full video.

Previous PostYuzukiHD's Eight-Core Avaota-A1 Includes a 2 TOPS NPU, RISC-V "Remote CPU," and Connectivity Aplenty
Next Post[VIDEO] From Specs to Verilog: AI assisted logic design on a RISC-V implementation

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.

[VIDEO] Why Does Formal Verification Matter for Semiconductors?

Previous PostYuzukiHD's Eight-Core Avaota-A1 Includes a 2 TOPS NPU, RISC-V "Remote CPU," and Connectivity Aplenty

Next Post[VIDEO] From Specs to Verilog: AI assisted logic design on a RISC-V implementation

Stay Connected With RISC-V