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.



Leave a Reply


(Note: This name will be displayed publicly)