Clear Search

Books+ Search Results

Format: Is
Is Is Not
Online
Subject with Hierarchy: Is
Is Is Not
Computer aided design
Subject: Is
Is Is Not
Computer engineering

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Remove Online Limit
Viewing Online Items
1.
Advances in Manufacturing II Volume 1 - Solutions for Industry 4.0
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Abstraction Refinement for Large Scale Model Checking
Author
Wang, Chao
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Author
Carson, Tom
Published
London : Springer London : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Constraint-Based Verification
Author
Yuan, Jun
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Author
Silva, Francisco da
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Hardware Verification with C++ A Practitioner’s Handbook
Author
Mintz, Mike
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Interconnect Noise Optimization in Nanometer Technologies
Author
Elgamel, Mohamed A.
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Leakage in Nanometer CMOS Technologies
Author
Narendra, Siva G.
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Rapid Prototyping of Digital Systems
Author
Hamblen, James O.
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Author
CASTRO-LÓPEZ, R.
Published
Dordrecht : Springer Netherlands, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
A Roadmap for Formal Property Verification
Author
DasGupta, Pallab
Published
Dordrecht : Springer Netherlands, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Scalable Hardware Verification with Symbolic Simulation
Author
Bertacco, Valeria
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity
Author
Leventhal, Roy G.
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
14.
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author
Sutherland, Stuart
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Systemverilog for Verification A Guide to Learning the Testbench Language Features
Author
Spear, Chris
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Thermal and Power Management of Integrated Circuits
Author
Vassighi, Arman
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Verification Methodology Manual for SystemVerilog
Author
Bergeron, Janick
Published
Boston, MA : Springer US, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Writing Testbenches using System Verilog
Author
Bergeron, Janick
Published
Boston, MA : Springer US : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Digital Computer Arithmetic Datapath Design Using Verilog HDL CD-ROM Included
Author
Stine, James E.
Published
Boston, MA : Springer US, 2004.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4419-8931-4
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Systematic Design of Sigma-Delta Analog-to-Digital Converters
Author
Bajdechi, Ovidiu
Published
Boston, MA : Springer US : Imprint: Springer, 2004.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4020-7946-7
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Verification Plans The Five-Day Verification Strategy for Modern Hardware Verification Languages
Author
James, Peet
Published
Boston, MA : Springer US : Imprint: Springer, 2004.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0473-3
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Assertion-Based Design
Author
Foster, Harry
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4419-9228-4
Location
Yale Internet Resource >> None
Format
Books / Online
23.
The Best of ICCAD 20 Years of Excellence in Computer-Aided Design
Author
Kuehlmann, Andreas
Published
Boston, MA : Springer US, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0292-0
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Elements of STIL Principles and Applications of IEEE Std. 1450
Author
Maston, Gregory A.
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-0463-4
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Evolutionary Algorithms for Embedded System Design
Author
Drechsler, Rolf
Published
Boston, MA : Springer US : Imprint: Springer, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4615-1035-2
Location
Yale Internet Resource >> None
Format
Books / Online