Formal Verification vs. Simulation
Why formal verification is important for semiconductor development
June 15, 2023Is simulation still a viable option for functional verification?
Simulation is a popular verification technique to identify bugs in hardware, because it scales even for very large and complex designs. However, checking the design behaviour for every possible input sequence is infeasible even for relatively small designs.
This shortcomming cannot be repaired by using coverage metrics that tell which parts of the design were active during a simulation run, because even a simulation suite with a 100% coverage may, actually, cover only a fraction of the design’s full behaviour.
A possible solution for these issues is the integration of formal techniques into existing verification processes.
By design, formal techniques cover the complete design behaviour, but suffer from scalability issues. 💡
In a modernised verification flow,
1️⃣ Simulation would be used to find those bugs that are easy and quick to detect
2️⃣ Then formal methods are employed to find all corner case bugs in critical design components
What are your thoughts on that? We think, knowing about formal verification is essential for hardware engineers and developers who want to create reliable, secure, and compliant designs in an efficient way. 🙌