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 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

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

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

Test Program Generator MicroTESK for RISC-V

2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV) ◽

10.1109/mtv.2018.00011 ◽

2018 ◽

Author(s):

Mikhail Chupilko ◽

Alexander Kamkin ◽

Artem Kotsynyak ◽

Alexander Protsenko ◽

Sergey Smolov ◽

...

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Test Program Generator for AUTOSAR OS

2017 13th European Dependable Computing Conference (EDCC) ◽

10.1109/edcc.2017.12 ◽

2017 ◽

Author(s):

Kazuto Shigihara ◽

Shinya Honda ◽

Hiroaki Takada

Keyword(s):

Test Program ◽

Program Generator

Download Full-text

Functional verification methodology for microprocessors using the Genesys test-program generator

Proceedings of the conference on Design, automation and test in Europe - DATE '99 ◽

10.1145/307418.307540 ◽

1999 ◽

Cited By ~ 23

Author(s):

Laurent Fournier ◽

Yaron Arbetman ◽

Moshe Levinger

Keyword(s):

Functional Verification ◽

Test Program ◽

Verification Methodology ◽

Program Generator

Download Full-text

Automated Variant Test Program Generator (Manufacturing Technologies)

2006 Thirty-First IEEE/CPMT International Electronics Manufacturing Technology Symposium ◽

10.1109/iemt.2006.4456497 ◽

2006 ◽

Author(s):

Fong Chii Biao ◽

Goh Huan Yong ◽

Cham Khang Wey

Keyword(s):

Test Program ◽

Manufacturing Technologies ◽

Program Generator

Download Full-text