2004 |
4 | EE | Francine Bacchini,
Robert F. Damiano,
Bob Bentley,
Kurt Baty,
Kevin Normoyle,
Makoto Ishii,
Einat Yogev:
Verification: what works and what doesn't.
DAC 2004: 274 |
2002 |
3 | EE | Victor Melamed,
Harry Stuimer,
David Wilkins,
Lawrence Chang,
Kevin Normoyle,
Sutikshan Bhutani:
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.
FORTE 2002: 360-363 |
2001 |
2 | EE | Kevin Normoyle:
Where are the Async Millionaires?
ASYNC 2001: 138- |
1995 |
1 | | Dale Greenley,
J. Bauman,
D. Chang,
Dennis Chen,
R. Eltejaein,
P. Ferolito,
P. Fu,
Robert B. Garner,
D. Greenhill,
H. Grewal,
Kalon Holdbrook,
B. Kim,
Leslie Kohn,
H. Kwan,
M. Levitt,
Guillermo Maturana,
D. Mrazek,
Chitresh Narasimhaiah,
Kevin Normoyle,
N. Parveen,
P. Patel,
A. Prabhu,
Marc Tremblay,
Michelle Wong,
L. Yang,
Krishna Yarlagadda,
Robert K. Yu,
Robert Yung,
Gregory B. Zyner:
UltraSPARC: The Next Generation Superscalar 64-bit SPARC.
COMPCON 1995: 442-451 |