Sequential Redundancy Removal Using Test Generation and Multiple Strongly Unreachable States

Search this article

Description

A procedure to remove redundancies in sequential circuits is proposed using strongly unreachable states, which are the states with no incoming transitions. Test generation is used to find undetectable faults related to two or more strongly unreachable states. Experimental results show the new procedure can find more redundancies of sequential circuits.

Journal

References(9)*help

See more

Details 詳細情報について

  • CRID
    1573950402004399616
  • NII Article ID
    110006376593
  • NII Book ID
    AA10826272
  • ISSN
    09168532
  • Text Lang
    en
  • Data Source
    • CiNii Articles

Report a problem

Back to top