中文 English

Formal Datapath Verification

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

popularity

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)