1
Post-Silicon and Runtime Verification for Modern Processors [E-Book] /
2
Quantifying and Exploring the Gap Between FPGAs and ASICs [E-Book] : Measuring and Exploring /
3
Hardware Software Co-Design of a Multimedia SOC Platform [E-Book] /
4
CMOS Active Inductors and Transformers [E-Book] : Principle, Implementation, and Applications /
5
System Verilog for Verification [E-Book] : A Guide to Learning the Testbench Language Features /
6
CMOS Current-Mode Circuits for Data Communications [E-Book] /
7
Hardware Verification with SystemVerilog [E-Book] : An Object-Oriented Framework /
8
Closing the Power Gap Between ASIC & Custom [E-Book] : Tools and Techniques for Low Power Design /
9
Verilog and SystemVerilog Gotchas [E-Book] : 101 Common Coding Errors and How to Avoid Them /
10
Leakage in Nanometer CMOS Technologies [E-Book] /
Subject (ZB): ...Computer aided design...

Full text 
11
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management [E-Book] : Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China /
12
SystemVerilog for Design [E-Book] : A Guide to Using SystemVerilog for Hardware Design and Modeling /
13
Scalable Hardware Verification with Symbolic Simulation [E-Book] /
14
Interconnect Noise Optimization in Nanometer Technologies [E-Book] /
15
Correct Hardware Design and Verification Methods [E-Book] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
16
System-Level Design Techniques for Energy-Efficient Embedded Systems [E-Book] /
17
SystemC Kernel Extensions for Heterogeneous System Modeling [E-Book] : A framework for Multi-MoC Modeling & Simulation /
18
Formal Methods in Computer-Aided Design [E-Book] : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
19
Correct Hardware Design and Verification Methods [E-Book] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
20
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [E-Book] : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings /