Per Anders M. Franzen

Follow

Person

Goteborg, SE

People

Patents Grantslast 30 patents

Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 9,177,089
- Issue date Nov 3, 2015
- Cadence Design Systems, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 8,826,201
- Issue date Sep 2, 2014
- Jasper Design Automation, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION COVERAGE METRICS FOR CIRCUIT DESIGN PROPERTIES
- Publication number 20150135150
- Publication date May 14, 2015
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING