Kshama Jambhekar

Title: Kshama Jambhekar: Innovator in Logic Synthesis Verification

Introduction

Kshama Jambhekar is a notable inventor based in Acton, MA (US). He has made significant contributions to the field of logic synthesis verification. His innovative work has led to the development of techniques that enhance the efficiency and accuracy of integrated circuit design.

Latest Patents

Kshama Jambhekar holds 1 patent for his invention titled "Concurrent formal verification of logic synthesis." This patent describes techniques and systems for concurrent formal verification of logic synthesis. A synthesis tool can write intermediate checkpoint designs that embody the state of an integrated circuit (IC) design under synthesis as optimization progresses. Meanwhile, formal equivalence checking proceeds in parallel with synthesis and checks the intermediate checkpoint designs for equivalence.

Career Highlights

Kshama Jambhekar is currently employed at Synopsys, Inc., a leading company in electronic design automation. His work at Synopsys has allowed him to collaborate with other talented professionals in the field.

Collaborations

Some of Kshama's coworkers include Lisa R McIlwain and Michael S Quayle. Their collaborative efforts contribute to advancements in technology and innovation within the industry.

Conclusion

Kshama Jambhekar's contributions to logic synthesis verification exemplify the impact of innovative thinking in technology. His work continues to influence the field and drive advancements in integrated circuit design.