VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability

Chapter 1 Enabling Internet-of-Things with Opportunities Brought by Emerging Devices, Circuits and Architectures

Chapter 2 Logic with Unipolar Memristors – Circuits and Design Methodology

Chapter 3 Robust Hybrid TFET-MOSFET Circuits in Presence of Process Variations and Soft Errors

Chapter 4 Logic Synthesis for Silicon and Beyond-Silicon Multi-gate Pass-Logic Circuits

Chapter 5 Digital Hardware Design Based on Metamodels and Model Transformations

Chapter 6 Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

Chapter 7 Improving Stress Quality for SoC Using Faster-than-At-Speed Execution of Functional Programs

Chapter 8 Beyond Ideal DVFS Through Ultra-Fine Grain Vdd-Hopping

Chapter 10 Approximate Matrix Inversion for Linear Pre-coders in Massive MIMO

Chapter 11 A Novel Hardware-Oriented Stereo Matching Algorithm and Its Architecture Design in FPGA