Research Catalog
Equivalence checking of digital circuits : fundamentals, principles, methods
- Title
- Equivalence checking of digital circuits : fundamentals, principles, methods / by Paul Molitor and Janett Mohnke ; guest authors, Bernd Becker, Christoph Scholl.
- Author
- Molitor, Paul.
- Publication
- Boston ; London : Kluwer Academic Publishers, c2004.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 04-727 | Offsite |
Details
- Additional Authors
- Description
- xiii, 262 p. : ill.; 25 cm.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 243-252) and index.
- Call Number
- JSE 04-727
- ISBN
- 1402077254 (hbk.)
- LCCN
- 2003067651
- OCLC
- vendor
- Author
- Molitor, Paul.
- Title
- Equivalence checking of digital circuits : fundamentals, principles, methods / by Paul Molitor and Janett Mohnke ; guest authors, Bernd Becker, Christoph Scholl.
- Imprint
- Boston ; London : Kluwer Academic Publishers, c2004.
- Bibliography
- Includes bibliographical references (p. 243-252) and index.
- Added Author
- Mohnke, Janett.Becker, Bernd.Scholl, Christoph, 1967-
- Research Call Number
- JSE 04-727