Mudit Sharma

Title: Mudit Sharma - Innovator in Integrated Circuit Verification

Introduction

Mudit Sharma is a notable inventor based in Uttar Pradesh, India. He has made significant contributions to the field of integrated circuit design and verification. His innovative approach has led to the development of a unique method that enhances the debugging process in formal verification.

Latest Patents

Mudit Sharma holds a patent titled "Method for waveform based debugging for cover failures from formal verification." This patent describes a method that involves receiving an electronic circuit design and partitioning a cone of influence for a cover property into design logic and property logic. The method further includes applying an X-value to all inputs associated with the cone of influence and performing an X-simulation until a fixed point is reached. Additionally, it identifies a non-X node and provides a path of X-diffusion at a property output. Mudit Sharma has 1 patent to his name.

Career Highlights

Mudit Sharma is currently employed at Cadence Design Systems, Inc., where he continues to work on innovative solutions in the field of electronic design automation. His expertise in formal verification and debugging techniques has positioned him as a valuable asset to his team.

Collaborations

Mudit collaborates with Pradeep Goyal, a coworker at Cadence Design Systems, Inc. Together, they work on advancing technologies that improve the efficiency and reliability of integrated circuits.

Conclusion

Mudit Sharma's contributions to the field of integrated circuit verification through his innovative patent demonstrate his commitment to enhancing electronic design processes. His work continues to influence the industry positively.