Easily testable realizations for generalized Reed-Muller expressions

Tsutomu Sasao

Research output: Contribution to journalArticle

55 Citations (Scopus)


This paper presents a design method of easily testable AND-EXOR networks. It is an improvement of Reddy and Saluja-Reddy's methods, and has the following features: 1) The network uses generalized Reed-Muller expressions (GRMs) instead of Positive Polarity Reed-Muller expressions (PPRMs). The average number of products for GRMs is less than half of that for PPRMs, and is less than that of sum-of-products expressions (SOPs). 2) The network consists of a literal part, an AND part, an EXOR part, and a check part. 3) The EXOR part can be a tree instead of a cascade. Thus, the network is faster. 4) The test detects multiple stuck at faults under the assumption that the faults occur at most one part, either the literal part, the AND part, the EXOR part, or the check part.

Original languageEnglish
Pages (from-to)709-716
Number of pages8
JournalIEEE Transactions on Computers
Issue number6
Publication statusPublished - 1 Dec 1997


  • Circuit complexity
  • Linear circuit
  • Logic minimization
  • Reed-Muller expression
  • Testable design

Fingerprint Dive into the research topics of 'Easily testable realizations for generalized Reed-Muller expressions'. Together they form a unique fingerprint.

  • Cite this