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

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 04-727Offsite

Details

Additional Authors
  • Mohnke, Janett.
  • Becker, Bernd.
  • Scholl, Christoph, 1967-
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
View in Legacy Catalog