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 Webinar | On-Demand
Complex bus protocols, increased on-chip functionalities, coupled with limited shared I/O resources, result in complex wiring connections in SoCs with numerous muxing schemes.
Simulation and structural analysis approaches require huge effort and may lead to bug escapes making them inefficient for SoC connectivity verification. Connectivity verification using formal techniques is exhaustive and helps making designs immune to connectivity bug escapes.
For over a decade, VC Formal Connectivity Checking App has become an essential part of the verification toolkit used by leading edge technology companies. Its ability to scale with the ever increasing SoC design sizes, its performance and ease of use, and its optimized debugging capabilities, make it a market leader in this space.
Join us to learn about SoC connectivity challenges and how Synopsys' innovative technologies can help you catch and debug sneaky wiring mistakes early with 100% confidence and ease
Listed below is the industry leader scheduled to speak.
Applications Engineer, Sr II
Shruti Masaguppi is an Application Engineer in the VC Formal AE team at Synopsys. She has been focused on VC Formal product engineering, training and assistance to customers as well as the Synopsys field teams deploying formal technology. Prior to joining Synopsys, she has worked on simulation and static technologies across multiple organizations. She has a MS in Microelectronics Engineering from BITS, Pilani.