• DocumentCode
    1154037
  • Title

    Testable Design of Single-Output Sequential Machines Using Checking Experiments

  • Author

    Saluja, Kewal K. ; Dandapani, Ramaswami

  • Issue
    7
  • fYear
    1986
  • fDate
    7/1/1986 12:00:00 AM
  • Firstpage
    658
  • Lastpage
    662
  • Abstract
    The problem of testing sequential machines using checking experiments is investigated. A method of modifying sequential machines by adding a controllable input is presented. A procedure is given to construct checking experiments for the modified machine and it is shown that only one output observation is sufficient to determine whether the machine is fault free.
  • Keywords
    Checking experiments; data compaction; design; sequential machines; testable; testing; Circuit faults; Circuit testing; Combinational circuits; Communication system control; Compaction; Digital circuits; Explosives; Modems; Sequential analysis; Sequential circuits; Checking experiments; data compaction; design; sequential machines; testable; testing;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1986.1676811
  • Filename
    1676811
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1154037