1995
Verification of the UltraSPARC Microprocessor.
Proceedings of the COMPCON '95: Technologies for the Information Superhighway, 1995