This inventor holds 2 USPTO granted patents. Top assignee: Cadence Design Systems, Inc.. Active years: 2013-2018.
Company Filing History:
Years Active: 2013-2018
Title: Deepak Yadav: Innovator in Electronic Design Verification
Introduction
Deepak Yadav is a prominent inventor based in Uttar Pradesh, India. He has made significant contributions to the field of electronic design verification, holding 2 patents that showcase his innovative approach to solving complex problems in this domain.
Latest Patents
Deepak's latest patents include a "System, method, and computer program product for analyzing X-propagation failures in formal verification." This invention relates to a computer-implemented method for electronic design verification. The method involves receiving an electronic design at a verification environment and generating a symbolic constant for use within that environment. It also includes identifying multiple X sources associated with the verification environment and modifying them based on the symbolic constant. The process continues by running a first target node, and if proven, additional target nodes are run until all are verified.
Another notable patent is the "System method and apparatus for vacuity detection." This invention provides a method and apparatus for producing a vacuity detection report, which helps reduce false positive verification results for digital circuits. In this exemplary embodiment, a design description of the digital design is generated, and a vacuity detection problem is derived by introducing an assertion into the design description. This assertion allows the problem to be solvable by formal assertion-based verification engines, ultimately producing a vacuity detection report.
Career Highlights
Deepak Yadav is currently employed at Cadence Design Systems, Inc., where he applies his expertise in electronic design verification. His work focuses on enhancing the reliability and accuracy of digital circuit verification processes.
Collaborations
Deepak collaborates with talented professionals in his field, including Pradeep Goyal and Jasmeet Singh Narula. These collaborations foster innovation and contribute to the advancement of electronic design verification technologies.
Conclusion
Deepak Yadav's contributions to electronic design verification through his patents and work at Cadence Design Systems, Inc. highlight his role as an influential inventor in the industry. His innovative methods are paving the way for more reliable digital circuit verification processes.