Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs

H. Michinishi, Tokumi Yokohira, T. Okamoto

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

Abstract

In this paper, we prove that Akers' test generation algorithm for the locally exhaustive testing gives a minimum test set (MLTS) for every combinational circuit (CUT) with up to four outputs. That is, we clarify that Akers' test pattern generator can generate an MLTS for such CUT.

Original languageEnglish
Title of host publicationATS 1993 Proceedings - 2nd Asian Test Symposium
PublisherIEEE Computer Society
Pages14-19
Number of pages6
ISBN (Electronic)081863930X
DOIs
Publication statusPublished - Jan 1 1993
Event2nd IEEE Asian Test Symposium, ATS 1993 - Beijing, China
Duration: Nov 16 1993Nov 18 1993

Publication series

NameProceedings of the Asian Test Symposium
ISSN (Print)1081-7735

Conference

Conference2nd IEEE Asian Test Symposium, ATS 1993
CountryChina
CityBeijing
Period11/16/9311/18/93

Fingerprint

Combinatorial circuits
Networks (circuits)
Testing

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Cite this

Michinishi, H., Yokohira, T., & Okamoto, T. (1993). Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs. In ATS 1993 Proceedings - 2nd Asian Test Symposium (pp. 14-19). [398773] (Proceedings of the Asian Test Symposium). IEEE Computer Society. https://doi.org/10.1109/ATS.1993.398773

Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs. / Michinishi, H.; Yokohira, Tokumi; Okamoto, T.

ATS 1993 Proceedings - 2nd Asian Test Symposium. IEEE Computer Society, 1993. p. 14-19 398773 (Proceedings of the Asian Test Symposium).

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

Michinishi, H, Yokohira, T & Okamoto, T 1993, Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs. in ATS 1993 Proceedings - 2nd Asian Test Symposium., 398773, Proceedings of the Asian Test Symposium, IEEE Computer Society, pp. 14-19, 2nd IEEE Asian Test Symposium, ATS 1993, Beijing, China, 11/16/93. https://doi.org/10.1109/ATS.1993.398773
Michinishi H, Yokohira T, Okamoto T. Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs. In ATS 1993 Proceedings - 2nd Asian Test Symposium. IEEE Computer Society. 1993. p. 14-19. 398773. (Proceedings of the Asian Test Symposium). https://doi.org/10.1109/ATS.1993.398773
Michinishi, H. ; Yokohira, Tokumi ; Okamoto, T. / Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs. ATS 1993 Proceedings - 2nd Asian Test Symposium. IEEE Computer Society, 1993. pp. 14-19 (Proceedings of the Asian Test Symposium).
@inproceedings{e2eff6ad8b024fb5a6a53eaa2a0168e0,
title = "Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs",
abstract = "In this paper, we prove that Akers' test generation algorithm for the locally exhaustive testing gives a minimum test set (MLTS) for every combinational circuit (CUT) with up to four outputs. That is, we clarify that Akers' test pattern generator can generate an MLTS for such CUT.",
author = "H. Michinishi and Tokumi Yokohira and T. Okamoto",
year = "1993",
month = "1",
day = "1",
doi = "10.1109/ATS.1993.398773",
language = "English",
series = "Proceedings of the Asian Test Symposium",
publisher = "IEEE Computer Society",
pages = "14--19",
booktitle = "ATS 1993 Proceedings - 2nd Asian Test Symposium",
address = "United States",

}

TY - GEN

T1 - Proof that Akers' algorithm for locally exhaustive testing gives minimum test sets of combinational circuits with up to four outputs

AU - Michinishi, H.

AU - Yokohira, Tokumi

AU - Okamoto, T.

PY - 1993/1/1

Y1 - 1993/1/1

N2 - In this paper, we prove that Akers' test generation algorithm for the locally exhaustive testing gives a minimum test set (MLTS) for every combinational circuit (CUT) with up to four outputs. That is, we clarify that Akers' test pattern generator can generate an MLTS for such CUT.

AB - In this paper, we prove that Akers' test generation algorithm for the locally exhaustive testing gives a minimum test set (MLTS) for every combinational circuit (CUT) with up to four outputs. That is, we clarify that Akers' test pattern generator can generate an MLTS for such CUT.

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

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

U2 - 10.1109/ATS.1993.398773

DO - 10.1109/ATS.1993.398773

M3 - Conference contribution

T3 - Proceedings of the Asian Test Symposium

SP - 14

EP - 19

BT - ATS 1993 Proceedings - 2nd Asian Test Symposium

PB - IEEE Computer Society

ER -