Formal Verification with SymbiYosys and Yices2: Proving Your RTL Correct
hardware
rtl
computer-architecture
verification
Simulation tells you what happened in the cases you thought of. Formal verification tells you what happens in every case that can ever occur. That difference …
formal verification
SymbiYosys
yices2