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