LexDanaLexDanabeta
Inventor

Per Anders M. Franzen

Inventor
Gothenburg, SE

Overview

2→
Patents
2014–2015
Patent span
Physics
Primary field (CPC G)

Patents· 2 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
9,177,089'Formal verification coverage metrics for circuit design properties'20158,826,201'Formal verification coverage metrics for circuit design properties'2014

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2014Patents assigned to JASPER DESIGN AUTOMATION INC (1)· patent assignee history
2014Based in Göteborg, SE· patent location history
2015Patents assigned to CADENCE DESIGN SYSTEMS INC (1)· patent assignee history
2015Patents assigned to FARAH HABEEB A (1)· patent assignee history
2015Patents assigned to FRANZEN PER ANDERS M (1)· patent assignee history
2015Patents assigned to HANNA ZIYAD E (1)· patent assignee history
2015Based in Gothenburg, SE· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
CADENCE DESIGN SYSTEMS INC12015
FARAH HABEEB A12015
FRANZEN PER ANDERS Mself12015
HANNA ZIYAD E12015
JASPER DESIGN AUTOMATION INC12014
Locations
LocationPatentsSpan
Gothenburg, SE12015
Göteborg, SE12014