Membership
Tour
Register
Log in
Fabiano Peixoto
Follow
Person
Belo Horizonte, BR
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Adaptive model interface for a plurality of EDA programs
Patent number
10,796,051
Issue date
Oct 6, 2020
Cadence Design Systems, Inc.
Abner Luis Panho Marciano
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for automatic formal metastability fault analys...
Patent number
10,769,008
Issue date
Sep 8, 2020
Cadence Design Systems, Inc.
Alberto Manuel Arias Drake
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, and articles of manufacture for verifying an elec...
Patent number
10,204,201
Issue date
Feb 12, 2019
Cadence Design Systems, Inc.
Lawrence Loh
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
Data propagation analysis for debugging a circuit design
Patent number
10,078,714
Issue date
Sep 18, 2018
Cadence Design Systems, Inc.
Fabiano Peixoto
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method, system, and computer program product for verifying an elect...
Patent number
9,817,930
Issue date
Nov 14, 2017
Cadence Design Systems Inc.
Caio Araujo Texeira Campos
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, and articles of manufacture for enhancing formal...
Patent number
9,665,682
Issue date
May 30, 2017
Cadence Design Systems, Inc.
Breno Rodrigues Guimarães
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, and computer program product for verifying electr...
Patent number
9,633,151
Issue date
Apr 25, 2017
Cadence Design Systems, Inc.
Xiaoyang Sun
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Generating properties for circuit designs
Patent number
8,572,527
Issue date
Oct 29, 2013
Jasper Design Automation, Inc.
Claudionor José Nunes Coelho
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
DATA PROPAGATION ANALYSIS FOR DEBUGGING A CIRCUIT DESIGN
Publication number
20160283628
Publication date
Sep 29, 2016
Jasper Design Automation, Inc.
Fabiano Peixoto
G06 - COMPUTING CALCULATING COUNTING