This inventor holds 2 USPTO granted patents. Top assignee: Cadence Design Systems, Inc.. Active years: 2020.
Company Filing History:
Years Active: 2020
Title: Sudeep Kumar Srivastava: Innovator in Electronic Design Verification
Introduction
Sudeep Kumar Srivastava is a notable inventor based in Noida, India. He has made significant contributions to the field of electronic design verification, holding 2 patents that showcase his innovative approach to improving design code analysis.
Latest Patents
His latest patents include a method and system for combined formal static analysis of a design code. This method involves using a lint checker to perform checks that identify suspected violations in the design code. Additionally, it employs a formal static analyzer to conduct formal checks that correspond to these suspected violations. A formal proof technique is then applied to determine whether the suspected property is proven or disproved, with alerts issued if disproved. Another patent focuses on grouping failures in formal verification of electronic designs. This method includes performing linting analysis and identifying failures with similar root causes, allowing for more efficient troubleshooting.
Career Highlights
Sudeep Kumar Srivastava is currently employed at Cadence Design Systems, Inc., where he continues to develop innovative solutions in electronic design. His work has been instrumental in enhancing the reliability and efficiency of design verification processes.
Collaborations
He collaborates with talented coworkers, including Kanwar Pal Singh and Maayan Ziv, contributing to a dynamic and innovative work environment.
Conclusion
Sudeep Kumar Srivastava's contributions to electronic design verification through his patents and work at Cadence Design Systems, Inc. highlight his role as a key innovator in the field. His efforts continue to advance the technology and methodologies used in design code analysis.