MA2TG: A Functional Test Program Generator for Microprocessor Verification

8th Euromicro Conference on Digital System Design (DSD'05) ◽

10.1109/dsd.2005.54 ◽

2005 ◽

Author(s):

Tun Li ◽

D. Zhu ◽

Yang Guo ◽

GongJie Liu ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Microprocessor Verification ◽

Program Generator

Download Full-text

Automatic functional test program generation for microprocessor verification

Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. ◽

10.1109/aspdac.2005.1466518 ◽

2005 ◽

Cited By ~ 2

Author(s):

Tun Li ◽

Dan Zhu ◽

Lei Liang ◽

Yang Guo ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Program Generation ◽

Microprocessor Verification

Download Full-text

Automatic functional test program generation for microprocessor verification

Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 ◽

10.1145/1120725.1120819 ◽

2005 ◽

Author(s):

Tun Li ◽

Dan Zhu ◽

Lei Liang ◽

Yang Guo ◽

SiKun Li

Keyword(s):

Functional Test ◽

Test Program ◽

Program Generation ◽

Microprocessor Verification

Download Full-text

A BNF-based automatic test program generator for compatible microprocessor verification

ACM Transactions on Design Automation of Electronic Systems ◽

10.1145/966137.966142 ◽

2004 ◽

Vol 9 (1) ◽

pp. 105-132 ◽

Cited By ~ 9

Author(s):

Lieh-Ming Wu ◽

Kuochen Wang ◽

Chuang-Yi Chiu

Keyword(s):

Automatic Test ◽

Test Program ◽

Microprocessor Verification ◽

Program Generator

Download Full-text

Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors family

Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078) ◽

10.1109/date.1999.761162 ◽

2003 ◽

Cited By ~ 12

Author(s):

L. Fournier ◽

Y. Arbetman ◽

M. Levinger

Keyword(s):

Functional Verification ◽

Test Program ◽

Verification Methodology ◽

Program Generator

Download Full-text

Piparazzi: a test program generator for micro-architecture flow verification

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252470 ◽

2004 ◽

Cited By ~ 10

Author(s):

A. Adir ◽

E. Bin ◽

O. Peled ◽

A. Ziv

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Design Defect Diagnosis in a Buggy Model of SPARC T1 Processor Using Random Test Program Generator

2015 Fifth International Conference on Advances in Computing and Communications (ICACC) ◽

10.1109/icacc.2015.80 ◽

2015 ◽

Author(s):

K. Brijmohan ◽

Nutan Hegde ◽

Lekha Pankaj

Keyword(s):

Test Program ◽

Random Test ◽

Design Defect ◽

Defect Diagnosis ◽

Program Generator

Download Full-text

CRPG: A Configurable Random Test-Program Generator for Microprocessors

2005 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.2005.1465550 ◽

2005 ◽

Cited By ~ 5

Author(s):

Haihua Shen ◽

Lin Ma ◽

Heng Zhang

Keyword(s):

Test Program ◽

Random Test ◽

Program Generator

Download Full-text

A bus-test program generator for microprocessor systems

10.1109/imtc.1988.10837 ◽

2003 ◽

Author(s):

G. Baccolini ◽

C. Offeli

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Maintaining ISA Specifications in MicroTESK Test Program Generator

2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV) ◽

10.1109/mtv.2017.13 ◽

2017 ◽

Cited By ~ 1

Author(s):

Mikhail Chupilko ◽

Alexander Kamkin ◽

Artem Kotsynyak ◽

Alexander Protsenko ◽

Sergey Smolov ◽

...

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Functional Test Program

Standard for Auditing Computer Applications ◽

10.1201/noe0849399831.ax42 ◽

1998 ◽

Keyword(s):

Functional Test ◽

Test Program

Download Full-text