草榴社区 Cloud
Cloud native EDA tools & pre-optimized hardware platforms
Request a Free Trial →
草榴社区 Webinar
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 草榴社区' innovative technologies can help you catch and debug sneaky wiring mistakes early with 100% confidence and ease.
Speaker
Shruti Masaguppi
Applications Engineer, Sr II
草榴社区
Shruti Masaguppi is an Application Engineer in the VC Formal AE team at 草榴社区. She has been focused on VC Formal product engineering, training and assistance to customers as well as the 草榴社区 field teams deploying formal technology. Prior to joining 草榴社区, she has worked on simulation and static technologies across multiple organizations. She has a MS in Microelectronics Engineering from BITS, Pilani.