Michael Kantrowitz

According to our database, Michael Kantrowitz authored at least 3 papers between 1995 and 1996.

Collaborative distances:

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

1996

I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor.

Michael Kantrowitz, Lisa M. Noack

Proceedings of the 33st Conference on Design Automation, 1996

1995

A 300-MHz 64-b quad-issue CMOS RISC microprocessor.

Bradley J. Benschneider, Andrew J. Black, William J. Bowhill, Sharon M. Britton, Daniel E. Dever, Dale R. Donchin, Robert J. Dupcak, Richard M. Fromm, Mary K. Gowan, Paul E. Gronowski, Michael Kantrowitz, Marc E. Lamere, Shekhar Mehta, Jeanne E. Meyer, Robert O. Mueller, Andy Olesin, Ronald P. Preston, Donald A. Priore, Sribalan Santhanam, Michael J. Smith, Gilbert M. Wolrich

IEEE J. Solid State Circuits, November, 1995

Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip

Michael Kantrowitz, Lisa M. Noack

Digit. Tech. J., 1995