Equivalence checking of digital circuits : fundamentals, principles, methods /

Bibliographic Details
Main Author: Molitor, Paul
Other Authors: Mohnke, Janett
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2004]
Subjects:
Description
Physical Description:xiii, 262 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 243-252) and index.
ISBN:1402077254 (hb)