Theorem Provers in Circuit Design: Theory, Practice, and Experience (Open Library)

[Edit][History] last modified april 29, 2008

/templates/advanced_search.tmpl: error in processing template: AttributeError: 'title' (falling back to default template)

/opt/openlibrary/production/openlibrary/plugins/oltemplates/templates/advanced_search.html: error in processing template: AttributeError: 'title' (falling back to default template)

Theorem Provers in Circuit Design: Theory, Practice, and Experience

Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-2 (Lecture Notes in Computer Science)

by Ramayya Kumar
Published in January 1995, Springer

Theorem Provers in Circuit Design: Theory, Practice, and Experience
Ramayya Kumar

Change Cover

Language: English

ISBN 10: 0387590471

ISBN 13: 9780387590479

Buy

Amazon
Abebooks
Alibris
Barnes and Noble
Powells

Borrow

Your local library
BookMooch
Title Trader

Browse

Not available for this book.

Data comes from , , and users like you.

description

First sentence: Although having many drawbacks, benchmark circuits allow a more succinct and direct comparison of different approaches for solving a certain problem.

Table of contents

No table of contents available Add it!