Membership
Tour
Register
Log in
Lars Lundgren
Follow
Person
Gothenburg, SE
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System, method, and computer program product for finding and analyz...
Patent number
11,580,284
Issue date
Feb 14, 2023
Cadence Design Systems, Inc.
Craig Franklin Deaton
G06 - COMPUTING CALCULATING COUNTING
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
Systems and methods for signal observability rating
Patent number
11,507,720
Issue date
Nov 22, 2022
Cadence Design Systems, Inc.
Matheus Nogueira Fonseca
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for analyzing formal c...
Patent number
10,380,312
Issue date
Aug 13, 2019
Cadence Design Systems, Inc.
Craig Franklin Deaton
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for property violation...
Patent number
10,176,285
Issue date
Jan 8, 2019
Cadence Design Systems, Inc.
Lars Lundgren
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, and computer program product for implementing dea...
Patent number
10,108,767
Issue date
Oct 23, 2018
Cadence Design Systems, Inc.
Victor Markus Purri
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
Information
Patent Grant
Constraining traces in formal verification
Patent number
8,863,049
Issue date
Oct 14, 2014
Jasper Design Automation, Inc.
Lars Lundgren
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
System and Method for Glitch Debugging
Publication number
20240311538
Publication date
Sep 19, 2024
Cadence Design Systems, Inc.
Matheus Nogueira Fonseca
G06 - COMPUTING CALCULATING COUNTING