Logic synthesis and verification algorithms
Published by : Kluwer Academic, (Boston :) Physical details: xxxii, 597 p. : ill.
Subject(s):
Computer-aided design.
|
Integrated circuits
--
Verification.
|
Integrated circuits
--
Very large scale integration
--
Design and construction
--
Data processing.
|
Logic design
--
Data processing.
|
Electronic books.
Year: 2002
Online resources:
-
http://site.ebrary.com/lib/rucke/Doc?id=10053328
- An electronic book accessible through the World Wide Web; click to view
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.