Company Filing History:
Years Active: 2010-2012
Title: Anubhav Gupta: Innovator in Circuit Verification
Introduction
Anubhav Gupta is a notable inventor based in Berkeley, California. He has made significant contributions to the field of circuit design and verification, holding two patents that showcase his innovative approach to solving complex engineering problems.
Latest Patents
Anubhav Gupta's latest patents include a method for Boolean satisfiability based verification of analog circuits. This method provides a formal way to verify properties of circuit designs by receiving descriptions of the circuit and its components, converting current-voltage relationships into conservative approximations, and searching for combinations of current and voltage values that meet specific accuracy criteria. His second patent involves a method, system, and computer program product for generating automated assumptions for compositional verification. This patent focuses on computing an exact minimal automaton to serve as an intermediate assertion in assume-guarantee reasoning, utilizing a sampling approach and Boolean satisfiability.
Career Highlights
Anubhav Gupta is currently employed at Cadence Design Systems, Inc., where he applies his expertise in formal verification and circuit design. His work has been instrumental in advancing the methodologies used in the industry for verifying complex electronic systems.
Collaborations
Anubhav has collaborated with esteemed colleagues such as Ken L McMillan and Saurabh Kumar Tiwary, contributing to a rich environment of innovation and research within his field.
Conclusion
Anubhav Gupta's contributions to circuit verification through his patents and work at Cadence Design Systems, Inc. highlight his role as a key innovator in the engineering community. His advancements in formal verification methods continue to influence the design and reliability of electronic circuits.