Automatic verification of mixed-level logic circuits

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1522, Issue , 1998, Pages 133-148

  Hanna, Keith ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; FORMAL METHODS; LOGIC CIRCUITS; PIECEWISE LINEAR TECHNIQUES; SPECIFICATIONS; TIMING CIRCUITS;

ANALOG COMPONENTS; AUTOMATIC VERIFICATION; DECISION PROCEDURE; DIGITAL SYSTEM; LEVEL OF ABSTRACTION; MIXED LEVELS; PIECEWISE LINEAR; SPECIFICATION AND VERIFICATION;

COMPUTER CIRCUITS;

EID: 84948971120     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49519-3_10     Document Type: Conference Paper

References (4)

1. [1] Frederic Benhamon and Alain Colmerauer, editors. Constraint Logic Programming. MIT Press, 1993.
2. [2] Eugene C. Freuder and Alan K. Mackworth, editors. Constraint-based reasoning. MIT/Elsevier, 1994.
3. [3] Keith Hanna. Reasoning about Real Digital Circuits. In Proc Higher Order Logic Theorem Proving and its Applications. Springer-Verlag, 1994.
4. [4] D. A. Hodges and H. G. Jackson. Analysis and design of digital integrated circuits. McGraw-Hill, 1983.