A Method for Removing Sequentially Redundant Lines Simultaneously Based on Unreachable States

Bibliographic Information

Other Title
  • 到達不能状態に基づく順序回路の冗長信号線の同時除去法

Search this article

Description

We propose a redundancy removal method based on strongly unreachable states, which are states that have no incoming transition from any state. If a fault affects the output sequence or the state transition only when the circuit starts from strongly unreachable states, then the fault is undetectable. More over, if the unreachable states are also strongly unreachable in the faulty circuit, the line corresponding the fault is redundant. In this paper, we present the theorem that the undetectable faults obtained from a strongly unreachable state remain undetectable for the circuit after removing the redundant lines corresponding to one of the faults. We also consider the condition for removing redundant lines simultaneously. Experimental results for benchmark circuits are shown.

Journal

  • Technical report of IEICE. FTS

    Technical report of IEICE. FTS 98 (585), 9-16, 1999-02-05

    The Institute of Electronics, Information and Communication Engineers

Details 詳細情報について

  • CRID
    1571698602307652224
  • NII Article ID
    110003194227
  • NII Book ID
    AN10012998
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top