Equivalence Checking of Digital Circuits

Fundamentals, Principles, Methods

1 edition
Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by MARC Bot
December 8, 2020 | History

Equivalence Checking of Digital Circuits

Fundamentals, Principles, Methods

1 edition

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
265

Buy this book

Edition Availability
Cover of: Equivalence Checking of Digital Circuits
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
January 31, 2004, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details


First Sentence

"Hardware verification is the process of checking whether a design conforms to its specifications of functionality and timing."

Classifications

Library of Congress
TK7868.D5 M617 2004, TA1-2040

The Physical Object

Format
Hardcover
Number of pages
265
Dimensions
9.4 x 6.3 x 0.4 inches
Weight
1.3 pounds

Edition Identifiers

Open Library
OL8372875M
ISBN 10
1402077254
ISBN 13
9781402077258
LCCN
2003067651
OCLC/WorldCat
53710457
LibraryThing
5745394
Goodreads
7060196

Work Identifiers

Work ID
OL16985424W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
December 8, 2020 Edited by MARC Bot import existing book
July 30, 2014 Created by ImportBot import new book