Formal Datapath Verification

How to achieve high confidence in data manipulation in a design.


J.T. Longino, formal verification application engineer at Synopsys, drills down into how to achieve confidence in datapath designs by applying formal solvers and methods to data transformation areas of a design rather than the control path areas.



See other tech talk videos here.

Leave a Reply

(Note: This name will be displayed publicly)