Per Anders M Franzen

Title: Per Anders M Franzen: Innovator in Circuit Design Verification

Introduction

Per Anders M Franzen is a notable inventor based in Gothenburg, Sweden. He has made significant contributions to the field of circuit design verification. His work focuses on ensuring the correctness of circuit designs through innovative methodologies.

Latest Patents

Per Anders M Franzen holds a patent titled "Formal verification coverage metrics for circuit design properties." This patent describes a computer-implemented method and non-transitory computer-readable medium for circuit design verification. The method involves performing formal verification on a circuit design to prove the correctness of a property of the circuit design. The circuit design includes a cone of influence that represents a portion capable of affecting signals of the property. A proof core of the circuit design is identified, which is sufficient to prove the correctness of the property. A coverage metric is generated that indicates the level of formal verification coverage provided by the property based on the proof core of the circuit design. He has 1 patent to his name.

Career Highlights

Per Anders M Franzen is currently employed at Cadence Design Systems, Inc. His role involves leveraging his expertise in circuit design to enhance verification processes. His innovative approaches have contributed to advancements in the field.

Collaborations

Throughout his career, Per has collaborated with notable colleagues, including Ziyad Hanna and Ross M Weber. These collaborations have fostered a productive environment for innovation and development in circuit design verification.

Conclusion

Per Anders M Franzen is a distinguished inventor whose work in circuit design verification has made a significant impact. His innovative patent and contributions to Cadence Design Systems, Inc. highlight his commitment to advancing technology in this field.