Video: How to Achieve Early Formal Convergence with Oski Abstraction Models

Decoding Formal Video Tutorial Series: How to Achieve Early Formal Convergence with Abstraction Models

The state space for formal is huge. If you have a design with 300 flops, that is already more states than there are atoms in the universe. So the state space is growing exponentially. Formal tools are limited by design size and where the proofs stop converging. Abstraction models can transform the search space for a formal verification run, and bring states which are distant close to the search state, allowing the proofs to converge much faster.