Test program generation for functional verification of PowerPC processors in IBM

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217542 ◽

1995 ◽

Cited By ~ 56

Author(s):

Aharon Aharon ◽

Dave Goodman ◽

Moshe Levinger ◽

Yossi Lichtenstein ◽

Yossi Malka ◽

...

Keyword(s):

Functional Verification ◽

Test Program ◽

Program Generation

Download Full-text

Test Program Generation for Functional Verification of PowePC Processors in IBM

32nd Design Automation Conference ◽

10.1109/dac.1995.249960 ◽

1995 ◽

Cited By ~ 53

Author(s):

Aharon Aharon

Keyword(s):

Functional Verification ◽

Test Program ◽

Program Generation

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

On automatic software-based self-test program generation based on high-level decision diagrams

2016 17th Latin-American Test Symposium (LATS) ◽

10.1109/latw.2016.7483357 ◽

2016 ◽

Cited By ~ 3

Author(s):

Artjom Jasnetski ◽

Raimund Ubar ◽

Anton Tsertov

Keyword(s):

Decision Diagrams ◽

Test Program ◽

Program Generation ◽

Automatic Software ◽

Self Test ◽

High Level

Download Full-text

Weighted random test program generation for a per-pin tester

Proceedings. International Test Conference 1990 ◽

10.1109/test.1990.114122 ◽

2002 ◽

Author(s):

J. Gartner ◽

B. Driscoll ◽

D. Forlenza ◽

O. Forlenza ◽

T. Koprowski ◽

...

Keyword(s):

Test Program ◽

Random Test ◽

Program Generation

Download Full-text

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-74313-4_28 ◽

2018 ◽

pp. 387-393

Author(s):

Alexander Kamkin ◽

Andrei Tatarnikov

Keyword(s):

Test Program ◽

Random Test ◽

Program Generation

Download Full-text

Reinforcement-Learning-Based Test Program Generation for Software-Based Self-Test

2019 IEEE 28th Asian Test Symposium (ATS) ◽

10.1109/ats47505.2019.00013 ◽

2019 ◽

Author(s):

Ching-Yuan Chen ◽

Jiun-Lang Huang

Keyword(s):

Reinforcement Learning ◽

Test Program ◽

Program Generation ◽

Self Test

Download Full-text

Automatic test program generation for a block oriented VLSI chip design

[1989] Proceedings of the 1st European Test Conference ◽

10.1109/etc.1989.36222 ◽

2003 ◽

Cited By ~ 2

Author(s):

F. Hapke

Keyword(s):

Automatic Test ◽

Test Program ◽

Chip Design ◽

Program Generation ◽

Vlsi Chip

Download Full-text

Random test program generation for verification and validation of the Samsung Reconfigurable Processor

Journal of Systems Architecture ◽

10.1016/j.sysarc.2019.05.007 ◽

2019 ◽

Vol 97 ◽

pp. 219-238 ◽

Cited By ~ 1

Author(s):

Bernhard Egger ◽

Eunjin Song ◽

Hochan Lee ◽

Daeyong Shin

Keyword(s):

Verification And Validation ◽

Test Program ◽

Reconfigurable Processor ◽

Random Test ◽

Program Generation

Download Full-text

Optimization of access points for automatic test program generation and fault location in large analogue circuits and systems

Microelectronics Reliability ◽

10.1016/s0026-2714(82)80245-x ◽

1982 ◽

Vol 22 (4) ◽

pp. 899-900

Keyword(s):

Fault Location ◽

Automatic Test ◽

Test Program ◽

Access Points ◽

Program Generation ◽

Analogue Circuits

Download Full-text

Random testing of C compilers based on test program generation by equivalence transformation

2016 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) ◽

10.1109/apccas.2016.7804063 ◽

2016 ◽

Cited By ~ 4

Author(s):

Kazuhiro Nakamura ◽

Nagisa Ishiura

Keyword(s):

Equivalence Transformation ◽

Random Testing ◽

Test Program ◽

Program Generation

Download Full-text