Derivation of Minimum Test Sets for Unate Logical Circuits

  • Authors:
  • R. Betancourt

  • Affiliations:
  • -

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1971

Quantified Score

Hi-index 15.02

Visualization

Abstract

A derivation of test sets S0and S1for irredundant unate logical circuits is presented. It is shown that these sets (S0and S1, respectively) detect all stuck-at-0 and stuck-at-1 faults in all realizations with no internal inverters of a given unate function. They can be obtained easily from the minimum sum and minimum product forms, from a Karnaugh map, o