Reasoning about real circuits

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

Volumn 859 LNCS, Issue , 1994, Pages 235-253

  Hanna, Keith ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; THEOREM PROVING; TIMING CIRCUITS; TRANSISTOR TRANSISTOR LOGIC CIRCUITS;

ANALOGUE DOMAIN; INDIVIDUAL COMPONENTS; KIRCHHOFF'S CURRENT LAW; LINEAR INEQUALITIES; NON IDEALS; NOT GATE; REAL CIRCUITS; VOLTAGE AND CURRENT WAVEFORMS;

COMPUTER CIRCUITS;

EID: 47349095442     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58450-1_46     Document Type: Conference Paper

References (8)

1. B. C. Brock, W. A. Hunt, and W. D. Young. Introduction to a Formally Defined Hardware Description Language. In Theorem Provers in Circuit Design, volume A-10 of IFIP Trans. pages 3-35. North Holland, 1992.
2. Raymond Boute. Funmath illustrated; a declarative formalism and application examples. Technical report, Dept. of Informatics, Katholieke Universiteit Nijmegen, July 1993.
3. John Harrison. Constructing the real numbers in hol. In Luc J. M. Claesen and Michael J. C. Gordon, editors, Higher order logic theorem proving and its applications, volume A-20 of IFIP Transactions A: Computer Science and Technology, pages 145-164. North Holland, September 1992.
4. F. K. Hanna and N. Daeche. Specification and verification using higher-order logic. In Koomen and Moto-oka, editors, Computer Hardware Description Languages and their Applications, pages 418-433. North Holland, 1985.
5. Keith Hanna and Neil Daeche. Strongly-Typed Theory of Structures and Behaviours. In Correct Hardware Design and Verification Methods; IFIP Trans WG10.2, pages 39-54. Springer-Verlag, 1993.
6. D. A. Hodges and H. G. Jackson. Analysis and design of digital integrated circuits. McGraw-Hill, 1983.
7. Alain Vachoux. IEEE VHDL subPAR 1076.1: Analog Extensions to VHDL; Design Objective Document. Technical Report 1.1, EPFL-DE-Lausanne, Switzerland, March 1993.
8. N. H. E. Weste and K. Eshraghian. Principles of CMOS VLSI Design. Addison-Wesley, 1985.