Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.

Digital integrated circuits --- Automatic theorem proving --- Computer-aided design --- Design and construction --- Data processing --- Congresses --- Information theory. --- Systems engineering. --- Computer science. --- Artificial intelligence. --- Microprogramming. --- Electronics. --- Theory of Computation. --- Circuits and Systems. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Control Structures and Microprogramming. --- Electronics and Microelectronics, Instrumentation. --- Electrical engineering --- Physical sciences --- Computer programming --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Communication theory --- Communication --- Cybernetics --- Digital integrated circuits - Computer-aided design - Congresses. --- Automatic theorem proving - Congresses.