Smart Camera Design Algorithms, Architectures, and Art

Formal System Verification State-of the-Art and Future Trends

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

High-Bandwidth Memory Interface

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

Multiband RF Circuits and Techniques for Wireless Transmitters

Memory Controllers for Mixed-Time-Criticality Systems Architectures, Methodologies and Trade-offs

Techniques for Building Timing-Predictable Embedded Systems

Circuit Design on Plastic Foils

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques

Fault-Tolerant Digital Microfluidic Biochips Compilation and Synthesis

Microfluidic Very Large Scale Integration (VLSI) Modeling, Simulation, Testing, Compilation and Physical Synthesis