• DocumentCode
    891763
  • Title

    On Realizations of Synchronous Sequential Machines

  • Author

    Haring, Donald R. ; Susskind, Alfred K.

  • Author_Institution
    Div. of Sponsored Research, Electronic Systems Lab., Mass. Inst. Tech., Cambridge, Mass.
  • Issue
    5
  • fYear
    1967
  • Firstpage
    686
  • Lastpage
    687
  • Abstract
    In this correspondence it is shown that by applying Gavrilov\´s test algorithm to any Boolean function numerically represented by its "constrained designation numbers", introduced by Ledley, a very suitable program for the automatic determination of the prime implicants and of the prime implicant table can be established.
  • Keywords
    Admittance; Analog-digital conversion; Boolean functions; Clocks; Decoding; Logic circuits; Logic gates; Resistors; Samarium; Synchronous generators;
  • fLanguage
    English
  • Journal_Title
    Electronic Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0367-7508
  • Type

    jour

  • DOI
    10.1109/PGEC.1967.264784
  • Filename
    4039167