The Locator -- [(subject = "Integrated circuits--Design and construction")]
407
records matched your query
Record 23 |
Previous Record
|
MARC Display
|
Next Record
|
Search Results
Author:
Seligman, Erik, author.
Title:
Formal verification :
an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar.
Publisher:
Elsevier/MKMorgan Kaufmann is an imprint of Elsevier,
Copyright Date:
2015
Description:
xvii, 353 pages : illustrations ; 24 cm
Subject:
Electronic circuits--Testing.
Integrated circuits--Design and construction.--Design and construction.
Verilog (Computer hardware description language)
Other Authors:
Schubert, E. Thomas, 1959- author.
Kumar, M. V. Achutha Kiran, author.
Notes:
Includes bibliographical references and index.
ISBN:
0128007273 (pbk.)
9780128007273 (pbk.)
OCLC:
(OCoLC)920376471
Locations:
USUX851 --
Iowa State University - Parks Library
(Ames)
Initiate Another SILO Locator Search
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.