Title :
System level verification of large scale computer
Author :
Okabayashi, T. ; Kubo, K. ; Hirose, Z. ; Suzuki, K.
Author_Institution :
Hitachi Ltd., Kanagawa, Japan
Abstract :
A set of system-level verification tools has been developed, and a design methodology refined, for the development of the M-880, Hitachi´s large-scale general-purpose computer. To supplement the general function test developed over the years for its predecessors, implementation-dependent tests have been strengthened by using a test matrix generator. A frame-based, interactive system has been developed to help logic designers write ad hoc miniprograms. As a result, 99% of the design errors have been detected before the start of packaging design. A special `diagnose´ instruction, coupled with a performance counter has detected performance problems at an early stage of design
Keywords :
computer testing; general purpose computers; performance evaluation; Hitachi´s large-scale general-purpose computer; M-880; design methodology; interactive system; logic designers; performance counter; system level verification; test matrix generator; Computational modeling; Computer errors; Counting circuits; Design methodology; Interactive systems; Large-scale systems; Logic design; Logic testing; Packaging; System testing;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings, IEEE 1992 International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-3110-4
DOI :
10.1109/ICCD.1992.276238
