Number of elements in minimum test set for locally exhaustive testing of combinational circuits with five outputs

Tokumi Yokohira, Toshimi Shimizu, Hiroyuki Michinishi, Yuji Sugiyama, Takuji Okamoto

Research output: Contribution to journalArticle

Abstract

Any minimum test set (MLTS) for locally exhaustive testing of multiple output combinational circuits (CUTs) has at least 2w test patterns, where w is the maximum number of inputs on which any output depends. In the previous researches, it is clarified that every CUT with up to four outputs has an MLTS with 2w elements. On the other hand, it can be easily shown that every CUT with more than five outputs does not have such an MLTS. It has not been however known whether every CUT with five outputs has such an MLTS or not. In this paper, it is clarified that every CUT with five outputs has such an MLTS. First, some terminologies are introduced as preliminaries. Second, features of 5 × (w + 1) dependence matrices of CUTs with five outputs and (w + 1) inputs are discussed. Third, an equivalence relation between dependence matrices of two CUTs is introduced. The relation means that if it holds and one of the CUTs has an MLTS with 2w elements, then the other CUT also has such an MLTS. Based on the features described above, a theorem is established that there exists a 5 × w dependence matrix which is equivalent to each of the above 5 × (w + 1) matrices. Finally, it is proved by the use of the theorem that every CUT with five outputs has an MLTS with 2w elements.

Original languageEnglish
Pages (from-to)874-881
Number of pages8
JournalIEICE Transactions on Information and Systems
VolumeE78-D
Issue number7
Publication statusPublished - Jul 1 1995

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Number of elements in minimum test set for locally exhaustive testing of combinational circuits with five outputs'. Together they form a unique fingerprint.

  • Cite this