Gabor Bobok

Person

Niskayuna, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Synthesizing VHDL multiple wait FSMS into RT level FSMS by preproce...
- Patent number 8,713,494
- Issue date Apr 29, 2014
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Synthesizing VHDL multiple wait behavioral FSMs into RT level FSMs...
- Patent number 8,495,533
- Issue date Jul 23, 2013
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,407,641
- Issue date Mar 26, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,255,848
- Issue date Aug 28, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler option consistency checking during incremental hardware de...
- Patent number 8,230,406
- Issue date Jul 24, 2012
- International Business Machines Corporation
- Richard L. H. Carbone
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Selective compilation of a simulation model in view of unavailable...
- Patent number 8,160,857
- Issue date Apr 17, 2012
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase events in a simulation model of a digital system
- Patent number 8,108,199
- Issue date Jan 31, 2012
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Print events in the simulation of a digital system
- Patent number 7,912,694
- Issue date Mar 22, 2011
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unrolling hardware design generate statements in a source window de...
- Patent number 7,823,097
- Issue date Oct 26, 2010
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Signals for simulation result viewing
- Patent number 7,711,537
- Issue date May 4, 2010
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program product supporting specification of signals for simulation...
- Patent number 7,617,085
- Issue date Nov 10, 2009
- International Business Machines Corporation
- Gabor Bobok
- 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
Information Patent Grant
Method, system, and program product for pre-compile processing of h...
- Patent number 7,506,287
- Issue date Mar 17, 2009
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and program product supporting phase events in a sim...
- Patent number 7,493,248
- Issue date Feb 17, 2009
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
REFINEMENT OF AN INTEGRATED CIRCUIT DESIGN
- Publication number 20230072735
- Publication date Mar 9, 2023
- International Business Machines Corporation
- Ali S. El-Zein
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR TESTING
- Publication number 20150310154
- Publication date Oct 29, 2015
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYNTHESIZING VHDL MULTIPLE WAIT FSMS INTO RT LEVEL FSMS BY PREPROCE...
- Publication number 20130275930
- Publication date Oct 17, 2013
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...
- Publication number 20120192133
- Publication date Jul 26, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking With Ret...
- Publication number 20100223584
- Publication date Sep 2, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELECTIVE COMPILATION OF A SIMULATION MODEL IN VIEW OF UNAVAILABLE...
- Publication number 20100153083
- Publication date Jun 17, 2010
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIMULATION MODEL OF A...
- Publication number 20080294413
- Publication date Nov 27, 2008
- International Business Machines Corp.
- GABOR BOBOK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROGRAM PRODUCT SUPPORTING SPECIFICATION OF SIGNALS FOR SIMULATION...
- Publication number 20080229193
- Publication date Sep 18, 2008
- International Business Machines Corp.
- GABOR BOBOK
- 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, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRINT EVENTS IN THE S...
- Publication number 20080183458
- Publication date Jul 31, 2008
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Synthesizing VHDL multiple wait behavioral FSMs into RT level FSMs...
- Publication number 20080127126
- Publication date May 29, 2008
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compiler Option Consistency Checking During Incremental Hardware De...
- Publication number 20080127130
- Publication date May 29, 2008
- International Business Machines Corporation
- Richard L.H. Carbone
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method, system, and program product for pre-compile processing of H...
- Publication number 20080072187
- Publication date Mar 20, 2008
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Unrolling Hardware Design Generate Statements in a Source Window De...
- Publication number 20080072206
- Publication date Mar 20, 2008
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING SPECIFICATION OF SIGN...
- Publication number 20070260443
- Publication date Nov 8, 2007
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIM...
- Publication number 20070260441
- Publication date Nov 8, 2007
- Gabor Bobok
- 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

Gabor Bobok

Person

Patents Grantslast 30 patents

Synthesizing VHDL multiple wait FSMS into RT level FSMS by preproce...

Synthesizing VHDL multiple wait behavioral FSMs into RT level FSMs...

Logic design verification techniques for liveness checking with ret...

Logic design verification techniques for liveness checking with ret...

Compiler option consistency checking during incremental hardware de...

Selective compilation of a simulation model in view of unavailable...

Phase events in a simulation model of a digital system

Print events in the simulation of a digital system

Unrolling hardware design generate statements in a source window de...

Signals for simulation result viewing

Program product supporting specification of signals for simulation...

Method, system and program product for selectively removing instrum...

Method, system, and program product for pre-compile processing of h...

Method, system and program product supporting phase events in a sim...

Patents Applicationslast 30 patents

REFINEMENT OF AN INTEGRATED CIRCUIT DESIGN

METHOD AND APPARATUS FOR TESTING

SYNTHESIZING VHDL MULTIPLE WAIT FSMS INTO RT LEVEL FSMS BY PREPROCE...

LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...

Logic Design Verification Techniques for Liveness Checking With Ret...

SELECTIVE COMPILATION OF A SIMULATION MODEL IN VIEW OF UNAVAILABLE...

PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIMULATION MODEL OF A...

PROGRAM PRODUCT SUPPORTING SPECIFICATION OF SIGNALS FOR SIMULATION...

METHOD, SYSTEM AND PROGRAM PRODUCT FOR SELECTIVELY REMOVING INSTRUM...

METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PRINT EVENTS IN THE S...

Synthesizing VHDL multiple wait behavioral FSMs into RT level FSMs...

Compiler Option Consistency Checking During Incremental Hardware De...

Method, system, and program product for pre-compile processing of H...

Unrolling Hardware Design Generate Statements in a Source Window De...

METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING SPECIFICATION OF SIGN...

METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING PHASE EVENTS IN A SIM...

Method, system and program product for selectively removing instrum...