Tech Talk: Formal Discussion

Combining simulation with formal verification.

popularity

Pratik Mahajan, senior R&D manager for verification at Synopsys, talks about how to use simulation plus formal verification.