Title :
Automatic Test Program Generation For Pipelined Processors
Author :
Iwashita, Hiroaki ; Kowatari, Satoshi ; Nakata, Tsuneo ; Hirose, Fumiyasu
Keywords :
Automatic programming; Automatic testing; Circuit simulation; Computational modeling; Formal verification; Hazards; Logic design; Logic testing; Microprocessors; Pipeline processing;
Conference_Titel :
Computer-Aided Design, 1994., IEEE/ACM International Conference on
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1994.629879