Automatic functional test program generation for microprocessors.

Cheng Shang Lin, Hong-Fa Ho

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

A algorithm called the O-algorithm is introduced for automatic test program generation of microprocessors in a user environment. To eliminate redundant tests, a weighted-digraph model is used to model the signal flow of the general microprocessors. Improved functional fault models of microprocessors are derived from the Turing machine model. The O-algorithm is then constructed on the basis of the signal flow model and functional fault models. Simulation has shown that the fault coverage is better than 97%.

Original languageEnglish
Title of host publicationProceedings - Design Automation Conference
PublisherPubl by IEEE
Pages605-608
Number of pages4
ISBN (Print)0818688645
Publication statusPublished - 1988 Dec 1

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0146-7123

Fingerprint

Microprocessor chips
Turing machines

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Lin, C. S., & Ho, H-F. (1988). Automatic functional test program generation for microprocessors. In Proceedings - Design Automation Conference (pp. 605-608). (Proceedings - Design Automation Conference). Publ by IEEE.

Automatic functional test program generation for microprocessors. / Lin, Cheng Shang; Ho, Hong-Fa.

Proceedings - Design Automation Conference. Publ by IEEE, 1988. p. 605-608 (Proceedings - Design Automation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lin, CS & Ho, H-F 1988, Automatic functional test program generation for microprocessors. in Proceedings - Design Automation Conference. Proceedings - Design Automation Conference, Publ by IEEE, pp. 605-608.
Lin CS, Ho H-F. Automatic functional test program generation for microprocessors. In Proceedings - Design Automation Conference. Publ by IEEE. 1988. p. 605-608. (Proceedings - Design Automation Conference).
Lin, Cheng Shang ; Ho, Hong-Fa. / Automatic functional test program generation for microprocessors. Proceedings - Design Automation Conference. Publ by IEEE, 1988. pp. 605-608 (Proceedings - Design Automation Conference).
@inproceedings{049e4f5f38284d709f4c29a17baa5056,
title = "Automatic functional test program generation for microprocessors.",
abstract = "A algorithm called the O-algorithm is introduced for automatic test program generation of microprocessors in a user environment. To eliminate redundant tests, a weighted-digraph model is used to model the signal flow of the general microprocessors. Improved functional fault models of microprocessors are derived from the Turing machine model. The O-algorithm is then constructed on the basis of the signal flow model and functional fault models. Simulation has shown that the fault coverage is better than 97{\%}.",
author = "Lin, {Cheng Shang} and Hong-Fa Ho",
year = "1988",
month = "12",
day = "1",
language = "English",
isbn = "0818688645",
series = "Proceedings - Design Automation Conference",
publisher = "Publ by IEEE",
pages = "605--608",
booktitle = "Proceedings - Design Automation Conference",

}

TY - GEN

T1 - Automatic functional test program generation for microprocessors.

AU - Lin, Cheng Shang

AU - Ho, Hong-Fa

PY - 1988/12/1

Y1 - 1988/12/1

N2 - A algorithm called the O-algorithm is introduced for automatic test program generation of microprocessors in a user environment. To eliminate redundant tests, a weighted-digraph model is used to model the signal flow of the general microprocessors. Improved functional fault models of microprocessors are derived from the Turing machine model. The O-algorithm is then constructed on the basis of the signal flow model and functional fault models. Simulation has shown that the fault coverage is better than 97%.

AB - A algorithm called the O-algorithm is introduced for automatic test program generation of microprocessors in a user environment. To eliminate redundant tests, a weighted-digraph model is used to model the signal flow of the general microprocessors. Improved functional fault models of microprocessors are derived from the Turing machine model. The O-algorithm is then constructed on the basis of the signal flow model and functional fault models. Simulation has shown that the fault coverage is better than 97%.

UR - http://www.scopus.com/inward/record.url?scp=0024133190&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0024133190&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0024133190

SN - 0818688645

T3 - Proceedings - Design Automation Conference

SP - 605

EP - 608

BT - Proceedings - Design Automation Conference

PB - Publ by IEEE

ER -