Research Catalog
Equivalence checking of digital circuits : fundamentals, principles, methods / by Paul Molitor and Janett Mohnke ; guest authors, Bernd Becker, Christoph Scholl.
- Title
- Equivalence checking of digital circuits : fundamentals, principles, methods / by Paul Molitor and Janett Mohnke ; guest authors, Bernd Becker, Christoph Scholl.
- Author
- Molitor, Paul.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | TK7868.D5 M617 2004 | Off-site |
Details
- Additional Authors
- Mohnke, Janett.
- Description
- xiii, 262 p. : ill.; 25 cm.
- Summary
- "Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text."--BOOK JACKET.
- Subject
- ISBN
- 1402077254 (hb)
- LCCN
- 2003067651
- Owning Institutions
- Columbia University Libraries