Gavin Balfour Meil

Person

Round Rockl, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automating addition of power supply rails, fences, and level transl...
- Patent number 11,907,634
- Issue date Feb 20, 2024
- International Business Machines Corporation
- Gavin B. Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock-gating phase algebra for clock analysis
- Patent number 10,990,725
- Issue date Apr 27, 2021
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design analyzer
- Patent number 10,599,792
- Issue date Mar 24, 2020
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for virtual clock and mode extraction in hierarchical...
- Patent number 10,558,782
- Issue date Feb 11, 2020
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Glitch-aware phase algebra for clock analysis
- Patent number 10,552,559
- Issue date Feb 4, 2020
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conditional phase algebra for clock analysis
- Patent number 10,552,558
- Issue date Feb 4, 2020
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock-gating phase algebra for clock analysis
- Patent number 10,515,164
- Issue date Dec 24, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for specifying clocks and modes in hierarchical designs
- Patent number 10,503,856
- Issue date Dec 10, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock-gating phase algebra for clock analysis
- Patent number 10,331,822
- Issue date Jun 25, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conditional phase algebra for clock analysis
- Patent number 10,325,040
- Issue date Jun 18, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design analyzer
- Patent number 10,325,041
- Issue date Jun 18, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for virtual clock and mode extraction in hierarchical...
- Patent number 10,318,695
- Issue date Jun 11, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for analysis of hierarchical designs
- Patent number 10,216,881
- Issue date Feb 26, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of untimed nets
- Patent number 10,031,987
- Issue date Jul 24, 2018
- International Business Machines Corporation
- Gavin B Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for analysis of hierarchical designs
- Patent number 9,916,407
- Issue date Mar 13, 2018
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Glitch-aware phase algebra for clock analysis
- Patent number 9,830,412
- Issue date Nov 28, 2017
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Phase algebra for analysis of hierarchical designs
- Patent number 9,798,844
- Issue date Oct 24, 2017
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static checking of asynchronous clock domain crossings
- Patent number 9,547,732
- Issue date Jan 17, 2017
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for static checking of asynchronous clock domain crossings
- Patent number 9,536,024
- Issue date Jan 3, 2017
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of asynchronous clock domain crossings
- Patent number 9,268,889
- Issue date Feb 23, 2016
- International Business Machines Corporation
- Gavin B Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design evaluation with compact multi-waveform representations
- Patent number 9,251,304
- Issue date Feb 2, 2016
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Timing analysis of asynchronous clock domain crossings
- Patent number 9,223,916
- Issue date Dec 29, 2015
- International Business Machines Corporation
- Jack DiLullo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for enabling resource allocation identificatio...
- Patent number 8,407,451
- Issue date Mar 26, 2013
- International Business Machines Corporation
- Gavin Balfour Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for cache-locking mechanism using translation tab...
- Patent number 8,244,979
- Issue date Aug 14, 2012
- International Business Machines Corporation
- Adam Patrick Burns
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Specifying and validating untimed nets
- Patent number 8,122,410
- Issue date Feb 21, 2012
- International Business Machines Corporation
- Jack DiLullo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for cache-locking mechanism using segment table a...
- Patent number 8,099,579
- Issue date Jan 17, 2012
- International Business Machines Corporation
- Adam Patrick Burns
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for data set replacement in 4-way or greater locking cache
- Patent number 7,558,921
- Issue date Jul 7, 2009
- International Business Machines Corporation
- Ronald P. Hall
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATING ADDITION OF POWER SUPPLY RAILS, FENCES, AND LEVEL TRANSL...
- Publication number 20230072459
- Publication date Mar 9, 2023
- International Business Machines Corporation
- Gavin B. Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20190266302
- Publication date Aug 29, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR VIRTUAL CLOCK AND MODE EXTRACTION IN HIERARCHICAL...
- Publication number 20190258772
- Publication date Aug 22, 2019
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS
- Publication number 20180107776
- Publication date Apr 19, 2018
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT DESIGN ANALYZER
- Publication number 20180082003
- Publication date Mar 22, 2018
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20180075178
- Publication date Mar 15, 2018
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verification of Untimed Nets
- Publication number 20170364620
- Publication date Dec 21, 2017
- Gavin B. Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR SPECIFYING CLOCKS AND MODES IN HIERARCHICAL DESIGNS
- Publication number 20160188760
- Publication date Jun 30, 2016
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR VIRTUAL CLOCK AND MODE EXTRACTION IN HIERARCHICAL...
- Publication number 20160188785
- Publication date Jun 30, 2016
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20160078162
- Publication date Mar 17, 2016
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20150370939
- Publication date Dec 24, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20150370940
- Publication date Dec 24, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TIMING ANALYSIS OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS
- Publication number 20150347652
- Publication date Dec 3, 2015
- International Business Machines Corporation
- Jack DiLullo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS
- Publication number 20150269299
- Publication date Sep 24, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC CHECKING OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS
- Publication number 20150269296
- Publication date Sep 24, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS
- Publication number 20150169816
- Publication date Jun 18, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC CHECKING OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS
- Publication number 20150161312
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT DESIGN EVALUATION WITH COMPACT MULTI-WAVEFORM REPRESENTATIONS
- Publication number 20150161313
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20150161311
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20150161309
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS
- Publication number 20150161310
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gabor Drasny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS
- Publication number 20150161315
- Publication date Jun 11, 2015
- International Business Machines Corporation
- Gavin B. Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for Specifying and Validating Untimed Nets
- Publication number 20100115482
- Publication date May 6, 2010
- Jack DiLullo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Cache-Locking Mechanism Using Translation Tab...
- Publication number 20090019252
- Publication date Jan 15, 2009
- Adam Patrick Burns
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Cache-Locking Mechanism Using Segment Table A...
- Publication number 20090019255
- Publication date Jan 15, 2009
- Adam Patrick Burns
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and Apparatus for Enabling Resource Allocation Identificatio...
- Publication number 20080189522
- Publication date Aug 7, 2008
- IBM Corporation
- Gavin Balfour Meil
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for data set replacement in 4-way or greater locking cache
- Publication number 20070043906
- Publication date Feb 22, 2007
- Ronald P. Hall
- G06 - COMPUTING CALCULATING COUNTING

Gavin Balfour Meil

Person

Patents Grantslast 30 patents

Automating addition of power supply rails, fences, and level transl...

Clock-gating phase algebra for clock analysis

Circuit design analyzer

Phase algebra for virtual clock and mode extraction in hierarchical...

Glitch-aware phase algebra for clock analysis

Conditional phase algebra for clock analysis

Clock-gating phase algebra for clock analysis

Phase algebra for specifying clocks and modes in hierarchical designs

Clock-gating phase algebra for clock analysis

Conditional phase algebra for clock analysis

Circuit design analyzer

Phase algebra for virtual clock and mode extraction in hierarchical...

Phase algebra for analysis of hierarchical designs

Verification of untimed nets

Phase algebra for analysis of hierarchical designs

Glitch-aware phase algebra for clock analysis

Phase algebra for analysis of hierarchical designs

Static checking of asynchronous clock domain crossings

Methods for static checking of asynchronous clock domain crossings

Verification of asynchronous clock domain crossings

Circuit design evaluation with compact multi-waveform representations

Timing analysis of asynchronous clock domain crossings

Method and apparatus for enabling resource allocation identificatio...

System and method for cache-locking mechanism using translation tab...

Specifying and validating untimed nets

System and method for cache-locking mechanism using segment table a...

Method for data set replacement in 4-way or greater locking cache

Patents Applicationslast 30 patents

AUTOMATING ADDITION OF POWER SUPPLY RAILS, FENCES, AND LEVEL TRANSL...

CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS

PHASE ALGEBRA FOR VIRTUAL CLOCK AND MODE EXTRACTION IN HIERARCHICAL...

PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS

CIRCUIT DESIGN ANALYZER

GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS

Verification of Untimed Nets

PHASE ALGEBRA FOR SPECIFYING CLOCKS AND MODES IN HIERARCHICAL DESIGNS

PHASE ALGEBRA FOR VIRTUAL CLOCK AND MODE EXTRACTION IN HIERARCHICAL...

CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS

GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS

CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS

TIMING ANALYSIS OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS

PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS

STATIC CHECKING OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS

PHASE ALGEBRA FOR ANALYSIS OF HIERARCHICAL DESIGNS

STATIC CHECKING OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS

CIRCUIT DESIGN EVALUATION WITH COMPACT MULTI-WAVEFORM REPRESENTATIONS

CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS

GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS

CLOCK-GATING PHASE ALGEBRA FOR CLOCK ANALYSIS

VERIFICATION OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS

Method for Specifying and Validating Untimed Nets

System and Method for Cache-Locking Mechanism Using Translation Tab...

System and Method for Cache-Locking Mechanism Using Segment Table A...

Method and Apparatus for Enabling Resource Allocation Identificatio...

Method for data set replacement in 4-way or greater locking cache