This inventor holds 3 USPTO granted patents. Top assignee: Cadence Design Systems, Inc.. Active years: 2020-2021.
Company Filing History:
Years Active: 2020-2021
Title: The Innovations of Benjamin Meng-Ching Chen
Introduction
Benjamin Meng-Ching Chen is a notable inventor based in Los Altos, California. He has made significant contributions to the field of electronic design verification. With a total of 3 patents to his name, Chen's work focuses on improving the efficiency and accuracy of formal verification processes.
Latest Patents
Chen's latest patents include a system, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design. This patent relates to a method used in formal verification, which involves receiving a reference model that includes a software specification and an implementation model at a register transfer level. The process generates one or more invariants based on the reference model, applying semantic analysis to enhance verification accuracy.
Another significant patent by Chen is a system, method, and computer program product for sequential equivalence checking in formal verification. This invention outlines a computer-implemented method that receives a reference model, an implementation model, and a property that analyzes equivalence between the two models. The method generates case split hints to decompose the design state space into smaller partitions, facilitating more efficient model checking.
Career Highlights
Benjamin Meng-Ching Chen is currently employed at Cadence Design Systems, Inc., where he continues to innovate in the field of electronic design automation. His work has been instrumental in advancing formal verification techniques, making them more accessible and effective for engineers and designers.
Collaborations
Chen has collaborated with notable colleagues, including Ziyad Hanna and Rajdeep Mukherjee. These partnerships have fostered a collaborative environment that encourages innovation and the sharing of ideas.
Conclusion
Benjamin Meng-Ching Chen's contributions to electronic design verification through his patents and work at Cadence Design Systems, Inc. highlight his role as a leading inventor in the field. His innovative methods continue to shape the future of formal verification in electronic design.