• DocumentCode
    959239
  • Title

    An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles

  • Author

    Holborow, C.E.

  • Author_Institution
    Department of Electrical Engineering, The Johns Hopkins University, Baltimore, Md. 21218.
  • Issue
    6
  • fYear
    1972
  • fDate
    6/1/1972 12:00:00 AM
  • Firstpage
    597
  • Lastpage
    598
  • Abstract
    The bound on the length of checking experiments derived by Murakami et al. [1] is improved by using a more efficient output specification in the counter cycle.
  • Keywords
    Automata; Circuit synthesis; Counting circuits; Fault detection; Fault diagnosis; Sequential circuits; Shift registers; Switching circuits; Testing; Upper bound; Checking sequence; fault detection; fault diagnosis; sequential machine with fault-detection capabilities;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

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