Back to Browse

Learn About VC Formal Apps: Datapath Validation (DPV) | Synopsys

854 views
Nov 15, 2023
5:43

Synopsys VC Formal DPV app performs transactional equivalence checking between C-to-C, C-to-RTL, and RTL-to-RTL to ensure mathematical functions are implemented correctly according to spec. Learn more about Synopsys: https://www.synopsys.com/ Subscribe: https://www.youtube.com/synopsys Follow Synopsys on Twitter: https://twitter.com/synopsys Like Synopsys on Facebook: https://www.facebook.com/Synopsys Follow Synopsys on LinkedIn: https://www.LinkedIn.com/Synopsys

Download

1 formats

Video Formats

360pmp48.6 MB

Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.

Learn About VC Formal Apps: Datapath Validation (DPV) | Synopsys | NatokHD