Formal Specification Level Concepts, Methods, and Algorithms

Near Threshold Computing Technology, Methods and Applications

Debug Automation from Pre-Silicon to Post-Silicon

Pipelined Multiprocessor System-on-Chip for Multimedia

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Routing Algorithms in Networks-on-Chip

Trace-Based Post-Silicon Validation for VLSI Circuits

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Computing with Memory for Energy-Efficient Robust Systems

Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap

FPGAs and Parallel Architectures for Aerospace Applications Soft Errors and Fault-Tolerant Design