Video Tutorials

Video Tutorials

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 …

Video: How to Achieve Early Formal Convergence with Oski Abstraction ModelsRead More »

Video: How to Formally Verify – and Reuse – Highly Configurable IP Designs

Decoding Formal Video Tutorial Series: How to Formally Verify and Reuse Highly Configurable IP Many designs these days support all sorts of IPs, and we want to verify these designs. However with tight schedules, we don’t have the luxury of building from scratch, so the best thing to do is re-use IPs from 3rd parties …

Video: How to Formally Verify – and Reuse – Highly Configurable IP DesignsRead More »