Amy Lim

Title: Amy Lim and Her Patent in Assertion-Based Verification

Introduction

Amy Lim is an inventor associated with Sunnyvale, California, and Cadence Design Systems, Inc. Her patent work concerns assertion-based verification, a technique used to check whether a logic design behaves as intended.

Latest Patents

The provided information lists one patent for Lim: Method and Apparatus for Processing Assertions in Assertion-Based Verification of a Logic Design. The patent describes generating an evaluation engine that uses a nondeterministic finite automaton model to represent the temporal behavior required by an assertion for a single evaluation attempt. The engine is implemented in reconfigurable hardware, while the logic design is simulated across multiple clock events. Evaluation attempts proceed sequentially using input stimuli from the simulation, and each attempt determines whether the assertion passes, fails, or needs further evaluation. Lim is credited with 1 patent.

Career Highlights

Lim’s listed patent reflects work on applying reconfigurable hardware and automata-based methods to logic-design verification. The provided information associates her with Cadence Design Systems, Inc.

Collaborations

The listed coworkers are Ping-Sheng Tseng and Yogesh Goel. Their names are provided as professional associations, though the specific nature of their collaboration with Lim is not stated.

Conclusion

Amy Lim’s listed invention addresses the efficient evaluation of assertions during logic-design verification, combining simulation with a hardware-based evaluation engine.