Cloud native EDA tools & pre-optimized hardware platforms
Synopsys is a leading provider of electronic design automation solutions and services.
Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.
Synopsys helps you protect your bottom line by building trust in your software—at the speed your business demands.
Synopsys has made an array of training videos available to customers covering a broad set of VC Formal specific topics from basic setup to advanced methodology developed. These videos and webinars, developed by industry experts, are now available.
The training videos vary in length and detail to fit your specific needs. Some of the topics covered by the training videos include:
CPU, GPU and AI designs are datapath heavy with unique design characteristics and require advanced verification techniques and methodology. These designs have mathematical functions like addition, subtraction, multiplier, square root, and floating-point units (FPU). Verifying these mathematical functions using traditional methods is inefficient, time consuming and impractical. This presentation highlights the need for an innovative datapath validation solution and share best practices through customer case studies. *SolvNet ID & password required to view.