Yirng-An Chen

Title: Yirng-An Chen: Innovator in Circuit Design and Verification

Introduction

Yirng-An Chen is a notable inventor based in San Jose, California, recognized for his contributions to circuit design and verification. With a total of three patents to his name, Chen has made significant advancements in the field of electronic design automation.

Latest Patents

One of Chen's latest patents is the "Latch modeling technique for formal verification." This innovative method involves a latch remodeling process that reduces computational requirements for clock modeling. By identifying latches that exhibit flip flop-like output behavior in a synthesized layout of sequential logic, these latches can be replaced with flip flops to generate a remodeled layout. This replacement process is performed using specific rules that filter out latches that do not exhibit the desired output behavior. Consequently, the remodeled layout contains fewer latches, leading to a significant reduction in the computational expense and time required for clock modeling and formal verification.

Another significant patent is the "IC behavior analysis system." This system features a debugger that produces a display based on instructions executed by a circuit simulator or verification tool, along with waveform data generated during the execution of these instructions. The instructions consist of a set of statements corresponding to separate circuit signals, each defining a value based on other circuit signals. The simulator evaluates these statements at various simulation times to compute signal values, and the debugger display includes symbols that represent each statement evaluation, indicating the simulation time and computed signal values.

Career Highlights

Throughout his career, Yirng-An Chen has worked with prominent companies in the industry, including Novas Software, Inc. and Synopsys, Inc. His experience in these organizations has contributed to his expertise in circuit design and verification.

Collaborations

Chen has collaborated with notable colleagues, including Yu-Chin Hsu and Furshing Tsai, further enhancing his contributions to the field.

Conclusion

Yirng-An Chen's innovative work in circuit design and verification has led to significant advancements in electronic design automation. His patents reflect a commitment to improving computational efficiency and accuracy in circuit modeling and analysis.