Naiyong Jin

Title: Naiyong Jin: Innovator in Circuit Design Security

Introduction

Naiyong Jin is a prominent inventor based in Shanghai, China. He has made significant contributions to the field of circuit design security, holding a total of 3 patents. His work focuses on enhancing the security verification processes of circuit designs, which is crucial in today's technology-driven world.

Latest Patents

Naiyong Jin's latest patents include innovative systems and methods for security verification of circuit designs. One of his notable patents is titled "Scalable formal security verification of circuit designs." This security verification system simplifies the formal security verification process by replacing circuit blocks with black box circuit blocks. It instruments the circuit design to allow for security verification without altering the security decisions over the data paths. The system utilizes dependence information of the inputs and outputs of the black box to connect the inputs and outputs of the circuit block, ensuring that the logic remains intact within the influence of clocks and resets. The system ultimately proves a non-interference property of the instrumented circuit design.

Another significant patent is "Sequential structure extraction by functional specification." This method and apparatus analyze the structure of a circuit design based on a behavior layer abstraction. The process involves receiving a functional specification and design codes for the circuit design, which are also defined based on the behavior layer abstraction. The design codes are then searched to identify those that satisfy the functional specification, allowing for a more efficient recognition of the relevant design codes.

Career Highlights

Naiyong Jin is currently employed at Synopsys, Inc., a leading company in electronic design automation. His work at Synopsys has allowed him to further develop his expertise in circuit design and security verification.

Collaborations

Throughout his career, Naiyong Jin has collaborated with notable colleagues, including Alfred Koelbl and Sudipta Kundu. These collaborations have contributed to the advancement of his research and innovations in the field.

Conclusion

Naiyong Jin is a distinguished inventor whose work in circuit design security has led to significant advancements in the field. His innovative patents and contributions continue to shape the future of electronic design automation.