Membership
Tour
Register
Log in
Matyas A. Sustik
Follow
Person
Austin, TX, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Partitioning for hardware-accelerated functional verification
Patent number
8,555,221
Issue date
Oct 8, 2013
International Business Machines Corporation
Michael D. Moffitt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Partitioning and scheduling uniform operator logic trees for hardwa...
Patent number
8,495,535
Issue date
Jul 23, 2013
International Business Machines Corporation
Zoltan T. Hidvegi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Partitioning for hardware-accelerated functional verification
Patent number
8,327,304
Issue date
Dec 4, 2012
International Business Machines Corporation
Michael D. Moffitt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for performing ternary verification
Patent number
7,734,452
Issue date
Jun 8, 2010
International Business Machines Corporation
Jason R. Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method, system and program product for selectively removing instrum...
Patent number
7,552,043
Issue date
Jun 23, 2009
International Business Machines Corporation
Gabor Bobok
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
PARTITIONING AND SCHEDULING UNIFORM OPERATOR LOGIC TREES FOR HARDWA...
Publication number
20130139119
Publication date
May 30, 2013
International Business Machines Corporation
Zoltan T. Hidvegi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PARTITIONING FOR HARDWARE-ACCELERATED FUNCTIONAL VERIFICATION
Publication number
20120317527
Publication date
Dec 13, 2012
International Business Machines Corporation
MICHAEL D. MOFFITT
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PARTITIONING FOR HARDWARE-ACCELERATED FUNCTIONAL VERIFICATION
Publication number
20120131530
Publication date
May 24, 2012
International Business Machines Corporation
MICHAEL D. MOFFITT
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and System for Performing Ternary Verification
Publication number
20080201128
Publication date
Aug 21, 2008
Jason R. Baumgartner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD, SYSTEM AND PROGRAM PRODUCT FOR SELECTIVELY REMOVING INSTRUM...
Publication number
20080195368
Publication date
Aug 14, 2008
GABOR BOBOK
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method and apparatus for efficient storage of hierarchical signal n...
Publication number
20070198566
Publication date
Aug 23, 2007
Matyas Sustik
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method, system and program product for selectively removing instrum...
Publication number
20070061121
Publication date
Mar 15, 2007
Gabor Bobok
G06 - COMPUTING CALCULATING COUNTING