• DocumentCode
    450409
  • Title

    Verifying Deep Logic Hierarchies with ALEX

  • Author

    Koppelman, George M. ; Maling, Klim

  • Author_Institution
    T. J. Watson Research Center, International Business Machines Corporation, Yorktown Heights, NY
  • fYear
    1980
  • fDate
    23-25 June 1980
  • Firstpage
    328
  • Lastpage
    335
  • Abstract
    A logic design whose structure has the form of a hierarchy is easily verified in a conversational environment. The verification process is based on an explicit methodology, supported by appropriate utilities. The paper describes the verification of the experimental Josephson signal processor control logic by means of the ALEX logic design system.
  • Keywords
    Business; Computer languages; Control systems; Josephson junctions; Logic design; Logic programming; Logic testing; Permission; Process control; Signal processing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1980. 17th Conference on
  • Print_ISBN
    0-89791-020-6
  • Type

    conf

  • DOI
    10.1109/DAC.1980.1585262
  • Filename
    1585262
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=450409