Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Gavin B. Meil is active.

Publication


Featured researches published by Gavin B. Meil.


asia and south pacific design automation conference | 2006

An SPU reference model for simulation, random test generation and verification

Yukio Watanabe; Balazs Sallay; Brad W. Michael; Daniel Alan Brokenshire; Gavin B. Meil; Hazim Shafi; Daisuke Hiraoka

An instruction set level reference model was developed for the development of synergistic processing unit (SPU), which is one of the key components of the cell processor [Pham, 2005][Flachs, 2005]. This reference model was used for the simulators to define the instruction set architecture (ISA), for the random test case generator, for the reference in the verification environment and for the software development. Using the same reference model for multiple purposes made it easier to keep up with the architecture changes at the early stage of the microprocessor development. Also including the reference model in the simulation environment increased the robustness for the random test executions and made it possible to find bugs that are usually difficult to catch.


Archive | 2007

Method and Apparatus for Enabling Resource Allocation Identification at the Instruction Level in a Processor System

Gavin B. Meil; Leonard Robert; Christopher J. Spandikow


Archive | 2007

System and Method for Cache-Locking Mechanism Using Translation Table Attributes for Replacement Class ID Determination

Adam Patrick Burns; Jason N. Dale; Jonathan J. DeMENT; Gavin B. Meil


Archive | 2015

CONDITIONAL PHASE ALGEBRA FOR CLOCK ANALYSIS

Gabor Drasny; Gavin B. Meil


Archive | 2015

Phase algebra for analysis of hierarchical designs

Gabor Drasny; Gavin B. Meil


Archive | 2015

Clock-gating phase algebra for clock analysis

Gabor Drasny; Gavin B. Meil


Archive | 2014

Verification of asynchronous clock domain crossings

Gavin B. Meil


Archive | 2014

CIRCUIT DESIGN EVALUATION WITH COMPACT MULTI-WAVEFORM REPRESENTATIONS

Gabor Drasny; Gavin B. Meil


Archive | 2014

GLITCH-AWARE PHASE ALGEBRA FOR CLOCK ANALYSIS

Gabor Drasny; Gavin B. Meil


Archive | 2014

TIMING ANALYSIS OF ASYNCHRONOUS CLOCK DOMAIN CROSSINGS

Jack DiLullo; Gavin B. Meil

Researchain Logo
Decentralizing Knowledge