Membership
Tour
Register
Log in
Jayanta Bhadra
Follow
Person
Austin, TX, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Run-time security protection system and method
Patent number
11,017,077
Issue date
May 25, 2021
NXP USA, INC.
Monica C. Farkash
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System architecture method and apparatus for adaptive hardware faul...
Patent number
10,495,691
Issue date
Dec 3, 2019
NXP USA, INC.
Xiao Sun
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Autonomous hardware for application power usage optimization
Patent number
10,481,674
Issue date
Nov 19, 2019
NXP USA, INC.
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Model-based runtime detection of insecure behavior for system on ch...
Patent number
9,824,243
Issue date
Nov 21, 2017
NXP USA, INC.
Wen Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Systems and methods for analyzing transactions in a computer system
Patent number
9,092,567
Issue date
Jul 28, 2015
FREESCALE SEMICONDUCTOR, INC.
Vivekananda M. Vedula
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Equivalence classes over parameter state space
Patent number
9,069,762
Issue date
Jun 30, 2015
FREESCALE SEMICONDUCTOR, INC.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Verification of design derived from power intent
Patent number
9,002,694
Issue date
Apr 7, 2015
Freescale Semiconductors, Inc.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Assertion-based design partitioning
Patent number
8,584,063
Issue date
Nov 12, 2013
FREESCALE SEMICONDUCTOR, INC.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatic verification of dependency
Patent number
8,555,226
Issue date
Oct 8, 2013
FREESCALE SEMICONDUCTOR, INC.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Trace reconstruction for silicon validation of asynchronous systems...
Patent number
8,234,618
Issue date
Jul 31, 2012
FREESCALE SEMICONDUCTOR, INC.
Mrinal Bose
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for circuit symbolic timing analysis of circuit d...
Patent number
8,050,904
Issue date
Nov 1, 2011
FREESCALE SEMICONDUCTOR, INC.
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Stream based stimulus definition and delivery via interworking
Patent number
7,945,418
Issue date
May 17, 2011
FREESCALE SEMICONDUCTOR, INC.
Mrinal Bose
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Model correspondence method and device
Patent number
7,650,579
Issue date
Jan 19, 2010
FREESCALE SEMICONDUCTOR, INC.
Magdy S. Abadir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Design analysis tool and method for deriving correspondence between...
Patent number
7,360,183
Issue date
Apr 15, 2008
FREESCALE SEMICONDUCTOR, INC.
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Design analysis tool for path extraction and false path identificat...
Patent number
6,952,812
Issue date
Oct 4, 2005
FREESCALE SEMICONDUCTOR, INC.
Magdy S. Abadir
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
RUN-TIME SECURITY PROTECTION SYSTEM AND METHOD
Publication number
20190294785
Publication date
Sep 26, 2019
NXP USA, Inc.
MONICA C. FARKASH
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System Architecture Method and Apparatus for Adaptive Hardware Faul...
Publication number
20190250210
Publication date
Aug 15, 2019
NXP USA, Inc.
Xiao Sun
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTONOMOUS HARDWARE FOR APPLICATION POWER USAGE OPTIMIZATION
Publication number
20180024614
Publication date
Jan 25, 2018
NXP USA, Inc.
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Model-Based Runtime Detection of Insecure Behavior for System on Ch...
Publication number
20170076116
Publication date
Mar 16, 2017
FREESCALE SEMICONDUCTOR, INC.
Wen Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS AND METHODS FOR ANALYZING TRANSACTIONS IN A COMPUTER SYSTEM
Publication number
20140006875
Publication date
Jan 2, 2014
VIVEKANANDA M. VEDULA
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Equivalence Classes Over Parameter State Space
Publication number
20130346375
Publication date
Dec 26, 2013
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Verification of Design Derived From Power Intent
Publication number
20130297280
Publication date
Nov 7, 2013
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Trace Reconstruction for Silicon Validation of Asynchronous Systems...
Publication number
20110107146
Publication date
May 5, 2011
Mrinal Bose
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Stream Based Stimulus Definition and Delivery via Interworking
Publication number
20100153053
Publication date
Jun 17, 2010
Mrinal Bose
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and Method for Circuit Symbolic Timing Analysis of Circuit D...
Publication number
20080071515
Publication date
Mar 20, 2008
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Model correspondence method and device
Publication number
20070277133
Publication date
Nov 29, 2007
FREESCALE SEMICONDUCTOR, INC.
Magdy S. Abadir
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Design analysis tool and method for deriving correspondence between...
Publication number
20060120167
Publication date
Jun 8, 2006
Freescale Semiconductor Inc.
Jayanta Bhadra
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Design analysis tool for path extraction and false path identificat...
Publication number
20020112213
Publication date
Aug 15, 2002
Magdy S. Abadir
G01 - MEASURING TESTING