Per Anders M Franzén

Title: Per Anders M Franzén: Innovator in Circuit Design Verification

Introduction

Per Anders M Franzén is a notable inventor based in Göteborg, Sweden. He has made significant contributions to the field of circuit design verification, particularly through his innovative patent. His work focuses on ensuring the correctness of circuit designs, which is crucial in the ever-evolving landscape of technology.

Latest Patents

Franzén 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. It identifies a proof core within the circuit design's cone of influence, which is sufficient to demonstrate the correctness of the property. Additionally, a coverage metric is generated to indicate 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

Franzén is currently associated with Jasper Design Automation, Inc., where he applies his expertise in circuit design verification. His work is instrumental in advancing the methodologies used in the industry, ensuring that circuit designs meet the required standards of correctness and reliability.

Collaborations

Throughout his career, Franzén has collaborated with esteemed colleagues such as Ziyad Hanna and Ross M Weber. These collaborations have further enriched his contributions to the field and fostered innovation in circuit design verification.

Conclusion

Per Anders M Franzén is a distinguished inventor whose work in circuit design verification has made a significant impact on the industry. His innovative patent and collaboration with other experts highlight his commitment to advancing technology.