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.
https://youtu.be/n1zO3GxEZVI
See other tech talk videos here.
» read more