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
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;
Conference_Titel :
Design Automation, 1980. 17th Conference on
Print_ISBN :
0-89791-020-6
DOI :
10.1109/DAC.1980.1585262
