A new formal proof kit for RISC-V processors
Doc Formal describes a strategy developed by his company Axiomise to apply formal verification proofs to open-source processor for safety, security and reliability.
proofs
Formal fundamentals: what’s hiding behind your constraints
Effective formal verification demands striking a careful balance in the use of constraints – too many slows things down, but too few may let bugs slip through.