Jiazhao Xu

Title: Innovations and Contributions of Jiazhao Xu

Introduction

Jiazhao Xu is a prominent inventor based in Mount Kisco, NY (US). He has made significant contributions to the field of logic design verification, holding a total of 12 patents. His work has advanced the methodologies used in the verification of complex electronic systems.

Latest Patents

One of Jiazhao Xu's latest patents is focused on verification techniques for liveness checking of logic designs. This technique involves a liveness-to-safety conversion that assigns liveness gates for liveness properties of a netlist. It also includes a single loop gate that provides a loop signal for the liveness gates. The assertion of the single loop gate is prevented when none of the liveness gates are asserted. The method samples a first state of the netlist, which serves as the initial state for a behavioral loop. By comparing the sampled first state with a later state, the system can determine if a liveness violation occurs when the sampled state is repeated while a liveness gate remains asserted.

Another notable patent is the method and system for dynamic automated hint generation for enhanced reachability analysis. This innovation provides methods for dynamically generating a hint set for enhanced reachability analysis in sequential circuitry designs represented by a Binary Decision Diagram (BDD). The process involves ranking BDD variables and selecting some for creating hints, which improves the efficiency of reachability analysis in sequential circuitry designs.

Career Highlights

Jiazhao Xu is currently employed at International Business Machines Corporation (IBM), where he continues to innovate in the field of electronic design automation. His work has been instrumental in developing techniques that enhance the reliability and efficiency of logic designs.

Collaborations

Throughout his career, Jiazhao has collaborated with notable colleagues, including Viresh Paruthi and Jason Raymond Baumgartner. These collaborations have contributed to the advancement of technology in their respective fields.

Conclusion

Jiazhao Xu's contributions to the field of logic design verification and his innovative patents demonstrate his significant impact on technology. His work continues to influence the development of reliable electronic systems.