Membership
Tour
Register
Log in
Xiushan Feng
Follow
Person
Austin, TX, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
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
Integrated circuit design verification through forced clock glitches
Patent number
9,043,737
Issue date
May 26, 2015
FREESCALE SEMICONDUCTOR, INC.
Jayanta Bahadra
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
Vector sequence simplification for circuit verification
Patent number
7,954,075
Issue date
May 31, 2011
Advanced Micro Devices, Inc.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Integrated Circuit Design Verification Through Forced Clock Glitches
Publication number
20140325463
Publication date
Oct 30, 2014
FREESCALE SEMICONDUCTOR, INC.
Jayanta Bahadra
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
VECTOR SEQUENCE SIMPLIFICATION FOR CIRCUIT VERIFICATION
Publication number
20090307643
Publication date
Dec 10, 2009
Advanced Micro Devices, Inc.
Xiushan Feng
G06 - COMPUTING CALCULATING COUNTING