1
Abstraction Refinement for Large Scale Model Checking [E-Book] /
2
Advanced Techniques in Logic Synthesis, Optimizations and Applications [E-Book] /
3
Advanced Test Methods for SRAMs [E-Book] : Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
4
Advances in Design and Specification Languages for SoCs [E-Book] : Selected Contributions from FDL’04 /
5
Analog Layout Synthesis [E-Book] : A Survey of Topological Approaches /
6
Analysis and Design of Resilient VLSI Circuits [E-Book] : Mitigating Soft Errors and Process Variations /
7
C Compilers for ASIPs [E-Book] : Automatic Compiler Generation with LISA /
8
Carbon Nanotube Electronics [E-Book] /
9
Clocking in Modern VLSI Systems [E-Book] /
10
Closing the Power Gap Between ASIC & Custom [E-Book] : Tools and Techniques for Low Power Design /
11
Cloud Connectivity and Embedded Sensory Systems [E-Book] /
12
CMOS Active Inductors and Transformers [E-Book] : Principle, Implementation, and Applications /
13
CMOS Circuits for Passive Wireless Microsystems [E-Book] /
14
CMOS Current-Mode Circuits for Data Communications [E-Book] /
15
Constraint-Based Verification [E-Book] /
16
The Core Test Wrapper Handbook [E-Book] : Rationale and Application of IEEE Std. 1500™ /
17
Creating Assertion-Based IP [E-Book] /
18
Dependability in Electronic Systems [E-Book] : Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
19
Design and Analysis of Biomolecular Circuits [E-Book] : Engineering Approaches to Systems and Synthetic Biology /
20
Design and Verification of Microprocessor Systems for High-Assurance Applications [E-Book] /