Skip to content
Synopsys, December 20, 2022

Using Formal Datapath Validation to Verify AI Processor Computations

For over a decade, CPU and GPU design companies have been using Synopsys VC Formal Datapath Validation (DPV) app with its HECTOR™ technology to verify their data processing elements because traditional verification methods cannot exhaustively… 

Synopsys, December 6, 2022

Target Optimal PPA and Faster Time-to-Market Using Synopsys Cloud Digital SaaS Instance

Historically, the digital design process requires in-depth knowledge of each tool in the cycle. Getting up and running involves writing hundreds of lines of script. Many companies lack the resources or in-house expertise. This is… 

Synopsys, November 30, 2022

Formal Validation of a Datapath Pipelined Design with VC Formal

Finite Impulse Response (FIR) filters are widely used in communication, consumer electronics, and many other digital signal process (DSP) applications. A FIR filter includes a complex pipelined datapath based on arithmetic functions such as multipliers…