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.
For customers who don’t have formal expertise or need additional resources to verify their blocks or IPs.
For customers who have some formal experiences but want to improve their formal methodologies to execute formal signoff on their own in future projects.
For customers who are new to formal verification and have decided to add formal to their overall verification flow.
The Synopsys VC Formal team provides support and guidance to companies already doing formal consulting services and to those interested in starting formal consulting services. Through this partnership, we hope to support the growing demand for formal expertise in the industry together.
Reach out today to see how we can collaborate to serve our mutual customers.
Formal Verification Lead for GPU & CPU, Samsung
R&D Design Manager, STMicroelectronics
General Manager of Software 1 R&D Division, Kyocera Document Solution Inc.