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: