Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Saved in:

Bibliographic Details
Corporate Author:	International Conference on Theorem Provers in Circuit Design
Other Authors:	Kumar, Ramayya, 1957-, Kropf, Thomas, 1961-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, c1995.
Series:	Lecture notes in computer science ; 901.
Subjects:	Digital integrated circuits > Computer-aided design > Congresses. Automatic theorem proving > Congresses.

Table of Contents:

Benchmark-Circuits for Hardware-Verification / Thomas Kropf
Reasoning About Pipelines with Structural Hazards / Mark Aagaard and Miriam Leeser
A Correctness Model for Pipelined Microprocessors /Phillip J. Windley and Michael L. Coe
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.