RMC Forms Determination with Minimal Literals and Test Sets

Literal과 Test Set를 최소화하는 RMC Form 결정방법

  • 백철화 (서울대학교 공과대학 전자과) ;
  • 김종상 (서울대학교 공과대학 전자계산기공학과)
  • Published : 1981.06.01

Abstract

A nonexhaustive procedure for obtaining minimally testable Reed-Muller Canonical (RMC) forms with minimal 1itera1s of switching functions is presented, And, it is shown that this proced tore allows nonexhaustive and near-optimal handling of functions with Doft Care conditions.

테스트셋트를 적게 가지면서 literal 수도 적게 포함하는 RMC (Reed-Muller Canonical) form을 찾는 방법을 고안하여 현존하는 수법보다 간단함을 보였다. 더불어 이 방법은 Don't Care 조건을 갗는 함수에도 적용됨을 보였다.

Keywords