Andere Kunden interessierten sich auch für
![Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation]( "Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation")
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation37,99 €![Higher Order Logic Theorem Proving and Its Applications]( "Higher Order Logic Theorem Proving and Its Applications")
Higher Order Logic Theorem Proving and Its Applications40,99 €![Higher Order Logic Theorem Proving and Its Applications]( "Higher Order Logic Theorem Proving and Its Applications")
Higher Order Logic Theorem Proving and Its Applications40,99 €![Precision Assembly Technologies for Mini and Micro Products]( "Precision Assembly Technologies for Mini and Micro Products")
Precision Assembly Technologies for Mini and Micro Products74,99 €![Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation]( "Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation")
Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation40,99 €![Theorem Proving in Higher Order Logics]( "Theorem Proving in Higher Order Logics")
Theorem Proving in Higher Order Logics39,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification40,99 €
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.
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.