Membership
Tour
Register
Log in
Björn Håkan Hjort
Follow
Person
Goteborg, SE
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Method and system for assertion-based formal verification using uni...
Patent number
11,520,964
Issue date
Dec 6, 2022
Cadence Design Systems, Inc.
Ahmad S. Abo Foul
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for assertion-based formal verification using cac...
Patent number
11,514,219
Issue date
Nov 29, 2022
Cadence Design Systems, Inc.
Ahmad S. Abo Foul
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for providing feedback...
Patent number
10,482,206
Issue date
Nov 19, 2019
Cadence Design Systems, Inc.
Breno Rodrigues Guimarães
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for implementing selective transformation for low...
Patent number
10,162,917
Issue date
Dec 25, 2018
Cadence Design Systems, Inc.
Fabiano Peixoto
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Guided exploration of circuit design states
Patent number
9,372,949
Issue date
Jun 21, 2016
Cadence Design Systems, Inc.
Ziyad Hanna
G06 - COMPUTING CALCULATING COUNTING