Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD INTEGRATED CIRCUITS VERIFICATION *END*INIT* use /tmp/qspiwww.webspi1/12097.17 QRY 131.225.70.96 . find keyword integrated circuits verification ( in books using www Cover Image
Call number:TK9152.M34::2006 Show nearby items on shelf
Title:Hardware verification with C++
Author(s): Mike Mintz
Robert Ekendahl
Date:2006
Publisher:Springer
ISBN:0387255435
Keywords: Integrated circuits Verification , C++ (Computer program language)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Cover
Image
Call number:TK7885.7.S67::2012 Show nearby items on shelf
Title:SystemVerilog for verification: A guide to learning the testbench language features
Author(s): Chris Spear
Gregory Joseph Tumbush
Date:2012
Edition:3rd ed.
Publisher:New York : Springer
Size:464 p
Contents:List of Samples -- List of Figures -- Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Connecting Testbench and Design -- Basic OOP -- Randomization -- Threads and Interprocess Communication -- Advanced OOP and Guidelin es -- Functional Coverage -- Advanced Interfaces -- Complete Design -- Interfacing with C
ISBN:9781461407140
Keywords: SystemVerilog (Computer hardware description language) , Integrated circuits Verification.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover
Image
Call number:TK7874.W45::2011 Show nearby items on shelf
Title:CMOS VLSI design: A circuits and systems perspective
Author(s): Neil H.E. Weste
David Money Harris
Date:2011
Edition:4th ed.
Publisher:Boston : Addison Wesley
Size:838 p.
Contents:MOS transistor theory -- CMOS processing technology -- Delay -- Power -- Interconnect -- Robustness -- Circuit simulation -- Combinational circuit design -- Sequential circuit design -- Datapath subsystems -- Array subsystems -- Special-purpose subsys tems -- Design methodology and tools -- Testing, debugging, and verification -- Hardware description languages.
ISBN:9780321547743
Keywords: Integrated circuits Very large scale integration Design and construction. , Metal oxide semiconductors, Complementary.
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Location: MAIN

Cover Image
Call number:TK7874.V564::1988 Show nearby items on shelf
Title:VLSI specification, verification, and synthesis
Author(s): G.M. Birtwistle
Date:1988
Publisher:Kluwer Academic Publishers, Boston
Size:404
ISBN:0898382467
Series:The Kluwer international series in engineering and computer science : SECS 35
Keywords: Integrated circuits Very large scale integration
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
Location: MAIN

Return to the Fermilab Library catalog