Mardigian Library
Ask a QuestionMy Library Account
Search Library Catalog - Books, DVDs & More
Limit to available
More Searches
Limit results to available items
Find more results:
Search MelCat
More Information
Hachtel, Gary D
Logic synthesis and verification algorithms [electronic resource] / Gary Hachtel, Fabio Somenzi
1st softcover ed
New York : Springer, c2006
book jacket
Location Call Number Status
 Electronic Book  TK7874.75 .H33 2006eb    AVAIL. VIA WEB
Subject(s) Integrated circuits -- Very large scale integration -- Design -- Data processing
Logic design -- Data processing
Integrated circuits -- Verification
Computer-aided design
Physical Description xxxii, 564 p. : ill. ; 26 cm
Note Includes bibliographical references (p. 537-553) and index
Also available in print
Electronic reproduction. UK : MyiLibrary, 2006
Alternate Author Somenzi, Fabio

Mardigian Library, 4901 Evergreen Rd.
Dearborn, MI 48128-1491 313-593-5400 fax 313-593-5561
The Regents of the University of Michigan | Non-Discrimination Policy
Copyright © The University of Michigan - Dearborn • 4901 Evergreen Road • Dearborn, Michigan 48128 • 313-593-5000
The University of Michigan - Ann Arbor | The University of Michigan - Flint | SITEMAP | DIRECTORY | CONTACT