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. |
Year | DOI | Venue |
---|---|---|
1980 | 10.1145/800139.804546 | DAC |
Keywords | Field | DocType |
deep logic hierarchy,appropriate utility,explicit methodology,control logic,conversational environment,verification process,logic design,experimental josephson signal processor,alex logic design system,signal processing,control systems,computer languages,process control,business,josephson junctions,logic programming | Logic synthesis,Computational logic,Sequential logic,Programming language,Logic optimization,Computer science,Description logic,Multimodal logic,Electronic engineering,Theoretical computer science,Logic family,Dynamic logic (modal logic) | Conference |
ISBN | Citations | PageRank |
0-89791-020-6 | 2 | 0.73 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
George M. Koppelman | 1 | 11 | 4.39 |
Klim Maling | 2 | 92 | 54.31 |