Powering and communicating with mm-size implants (PDF)

An antenna-filter codesign for cardiac implants (PDF)

Optimized model checking of multiple properties (PDF)

Robust 6T Si tunneling transistor SRAM design (PDF)

Simulation based tuning of system specification (PDF)

Stochastic circuit reliability analysis (PDF)

A 3D reconfigurable platform for 4G telecom applications (PDF)

Compiling SyncCharts to Synchronous C (PDF)

Built-in generation of functional broadside tests (PDF)

Two methods for 24 Gbps test signal synthesis (PDF)

Resynchronization of Cyclo-Static Dataflow graphs (PDF)

Interpolation sequences revisited (PDF)

Automated debugging of SystemVerilog assertions (PDF)

Counterexample-guided SMT-driven optimal buffer sizing (PDF)

3D Embedded multi-core: Some perspectives (PDF)

Energy-modulated computing (PDF)

Early chip planning cockpit (PDF)

Scalable packet classification via GPU metaprogramming (PDF)

Feedback based droop mitigation (PDF)

A 0.964mW digital hearing aid system (PDF)

Design space exploration for 3D-stacked DRAMs (PDF)

SoC infrastructures for predictable system integration (PDF)

A new architecture for power network in 3D IC (PDF)

Power optimization in heterogenous datapaths (PDF)

Optimal scheduling of switched FlexRay networks (PDF)

On the efficacy of NBTI mitigation techniques (PDF)

Design automation for IEEE P1687 (PDF)

Entering the path towards terabit/s wireless links (PDF)

Smart imagers of the future (PDF)

Adaptive voltage over-scaling for resilient applications (PDF)

Depth-directed hardware object detection (PDF)

An integrated platform for advanced diagnostics (PDF)

A new reversible design of BCD adder (PDF)

Foreword (PDF)

MLP aware heterogeneous memory system (PDF)

Proactive recovery for BTI in high-k SRAM cells (PDF)

System-assisted analog mixed-signal design (PDF)

An efficient Quantum-Dot Cellular Automata adder (PDF)

A scaled random walk solver for fast power grid analysis (PDF)

Logic synthesis and physical design: Quo vadis? (PDF)

Methods and tools for component-based system design (PDF)

Component-based design for the future (PDF)

Low-power smart industrial control (PDF)

Low power interconnects for SIMD computers (PDF)

Wireless innovations for smartphones (PDF)

Worst-case temperature analysis for real-time systems (PDF)

Verifying dynamic aspects of UML models (PDF)

A confidence-driven model for error-resilient computing (PDF)

Eliminating speed penalty in ECC protected memories (PDF)

Clock gating optimization with delay-matching (PDF)

A novel tag access scheme for low power L2 cache (PDF)

Clause simplification through dominator analysis (PDF)

Integration of orthogonal QBF solving techniques (PDF)

Empirical design bugs prediction for verification (PDF)

Scalable hybrid verification for embedded software (PDF)

On multiplexed signal tracing for post-silicon debug (PDF)

Understanding the role of buildings in a smart microgrid (PDF)

Smart systems at ST (PDF)

X-SENSE: Sensing in extreme environments (PDF)

Author index (PDF)

Call for papers (PDF)

Sponsors (PDF)

Technical programme topic chairs (PDF)

Technical Program Committee (PDF)

Reviewers (PDF)

2011 EDAA/ACM SIGDA PhD Forum at DATE in Grenoble (PDF)

[Copyright notice] (PDF)

[Title page] (PDF)

DATE Executive Committee (PDF)

Table of contents (PDF)

Best Paper Award (PDF)

Tutorials (PDF)