Himanshu Jain

Title: Innovations of Himanshu Jain

Introduction

Himanshu Jain is a notable inventor based in Hillsboro, OR (US). He has made significant contributions to the field of formal verification, holding a total of 7 patents. His work focuses on enhancing the quality and efficiency of verification processes in circuit design.

Latest Patents

One of his latest patents is titled "Using runtime information from solvers to measure quality of formal verification." This patent describes systems and techniques for utilizing runtime information to identify verification holes and compute verification metrics. The runtime information includes a set of registers, inputs, and constraints used by a formal verification engine during runtime to prove assertions for a design under verification (DUV). Additionally, he has developed a patent for "Formal verification using cached search path information to verify previously proved/disproved properties." This innovation allows a formal verification tool to verify multiple versions of a core circuit design by obtaining search path information from the formal verification solver, thus streamlining the verification process for later-generated circuit designs.

Career Highlights

Himanshu Jain is currently employed at Synopsys, Inc., where he continues to push the boundaries of formal verification technology. His work has been instrumental in improving the reliability and efficiency of verification processes in the semiconductor industry.

Collaborations

He has collaborated with notable colleagues such as Carl Preston Pixley and Per Mattias Bjesse, contributing to advancements in their shared field of expertise.

Conclusion

Himanshu Jain's innovative work in formal verification has made a significant impact on the industry. His patents reflect a commitment to enhancing verification processes, ensuring the reliability of circuit designs.