Cloud native EDA tools & pre-optimized hardware platforms
The Synopsys Formal Consulting Services team is made up of world-class formal experts with access to leading-edge formal technologies, such as formal property verification, datapath verification, security and functional safety verification. The team has completed over 25 projects in the last 5 years with experience verifying some of the most challenging blocks in an SoC: CPU, GPU, AI chips, protocol bridge, cache coherence, power controller, FPU, CNN accelerators, DDR, USB, DMA, and more.
Synopsys Formal Consulting Services offer various options to suit the unique needs of our customers. From formal methodology training to turn-key projects, customers can customize and define the projects through a statement of work (SOW). A licensed Verification CoStart Service is also available.