Kevin Normoyle

According to our database, Kevin Normoyle authored at least 7 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2004

Verification: what works and what doesn't.

Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev

Proceedings of the 41th Design Automation Conference, 2004

2002

Implementation of a third-generation 1.1-GHz 64-bit microprocessor.

Georgios K. Konstadinidis, Kevin Normoyle, Samson Wong, Sutikshan Bhutani, Harry Stuimer, Timothy Johnson, Alan P. Smith, Daniel Y. Cheung, Fabrizio Romano, Shifeng Yu, Sung-Hun Oh, Victor Melamed, Sridhar Narayanan, David Bunsey, Cong Khieu, Kevin J. Wu, Ralf Schmitt, Andy Dumlao, Massimo Sutera, Jade Chau, K. James Lin, William S. Coates

IEEE J. Solid State Circuits, 2002

Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.

Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Where are the Async Millionaires?

Kevin Normoyle

Proceedings of the 7th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2001), 2001

1998

UltraSPARC-II/: expanding the boundaries of a system on a chip.

Kevin Normoyle, Michael A. Csoppenszky, Allan Tzeng, Timothy P. Johnson, Christopher D. Furman, Jamshid Mostoufi

IEEE Micro, 1998

1995

The design of the microarchitecture of UltraSPARC-I.

Marc Tremblay, Dale Greenley, Kevin Normoyle

Proc. IEEE, 1995

UltraSPARC: The Next Generation Superscalar 64-bit SPARC.

Dale Greenley, J. Bauman, D. Chang, Dennis Chen, R. Eltejaein, Philip A. Ferolito, P. Fu, Robert B. Garner, D. Greenhill, H. Grewal, Kalon Holdbrook, B. Kim, Leslie Kohn, Hang 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

Proceedings of the COMPCON '95: Technologies for the Information Superhighway, 1995