1996 | ||
---|---|---|
2 | EE | Michael Kantrowitz, Lisa M. Noack: I'm Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor. DAC 1996: 325-330 |
1995 | ||
1 | Michael Kantrowitz, Lisa M. Noack: Functional Verification of a Multiple-issue, Pipelined, Superscalar Alpha Processor - the Alpha 21164 CPU Chip Digital Technical Journal 7(1): 0- (1995) |
1 | Michael Kantrowitz | [1] [2] |