Faster Formal Verification Closure for AI
It has been announced that Synopsys, introduced the Datapath Validation (DPV) app as part of its VC Formal solution. The DPV app leverages proven HECTOR technology to deliver exhaustive formal verification closure on datapath-intensive…