Using Formal Datapath Validation to Verify Synopsys IP | Synopsys

Synopsys VC Formal DPV is not only used by leading companies designing CPU, GPU, AI/ML chips, it has also been used by Synopsys’ own Solutions Group to verify IP blocks and foundation cores since 2006. It is truly the golden standard of datapath verification tool in the industry.
Learn more about VC Formal DPV at www.synopsys.com/dpv

Learn more about Synopsys: https://www.synopsys.com/
Subscribe: synopsys
Follow Synopsys on Twitter: Twitter: synopsys
Like Synopsys on Facebook: Facebook: Synopsys
Follow Synopsys on LinkedIn: LinkedIn: Synopsys

• #science_technology
• #verification
• #formal_verification
• #vc_formal
• #vc_formal_dpv
• #vc_formal_apps