Company Filing History:
Years Active: 2017-2019
Title: Maheshinder Goyal: Innovator in Formal Verification Technologies
Introduction
Maheshinder Goyal is a notable inventor based in Noida, India. He has made significant contributions to the field of formal verification, particularly in the context of circuit descriptions. With a total of 2 patents to his name, Goyal's work is recognized for its innovative approach to enhancing the reliability of electronic systems.
Latest Patents
Goyal's latest patents focus on formal verification using microtransactions. These patents disclose representative embodiments of methods, apparatus, and systems for performing formal verification of circuit descriptions. In certain example embodiments, the disclosed technology involves the formal verification of a register-transfer-level (RTL) circuit description produced from a high-level synthesis tool, such as a C++ or SystemC synthesis tool. This verification process is conducted relative to the original high-level code from which the RTL description was synthesized, utilizing sub-functional-call-level transactions.
Career Highlights
Throughout his career, Maheshinder Goyal has worked with prominent companies in the technology sector. He has been associated with Calypto Design Systems, Inc. and Mentor Graphics Corporation, where he has contributed to advancements in electronic design automation and verification technologies. His expertise in formal verification has positioned him as a valuable asset in these organizations.
Collaborations
Goyal has collaborated with several professionals in his field, including Pankaj P Chauhan and Sameer Kapoor. These collaborations have further enriched his work and contributed to the development of innovative solutions in formal verification.
Conclusion
Maheshinder Goyal's contributions to formal verification technologies highlight his role as an influential inventor in the electronics industry. His patents and career achievements reflect a commitment to enhancing the reliability of electronic systems through innovative methodologies.