Derivation of Minimal Test Sets for Monotonic Logic Circuits

  • Authors:
  • Ramaswami Dandapani

  • Affiliations:
  • Department of Computer Science, The University of Iowa, Iowa City, Iowa 52240.

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

Quantified Score

Hi-index 15.01

Visualization

Abstract

It is shown that the number of maximal false vertices and minimal true vertices is the minimum number of tests required to detect all s-a-1 and s-a-0 faults in any irredundant two-level realization of a 2-monotonic function.