The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

A textbook on the fundamentals of VLSI design flow, covering the various stages of design implementation, verification, and testing.

This book explores the technological developments at various levels of abstraction, of the new paradigm of approximate computing. The authors describe in a single-source the state-of-the-art, covering the entire spectrum of research activities in approximate computing, bridging device, circuit, architecture, and system levels. Content includes tutorials, reviews and surveys of current theoretical/experimental results, design methodologies and applications developed in approximate computing for a wide scope of readership and specialists. Serves as a single-source reference to state-of-the-art of approximate computing; Covers broad range of topics, from circuits to applications; Includes contributions by leading researchers, from academia and industry.

This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support techniques at other computing layers. The book is organized by techniques for various hardware components, from basic building blocks to general circuits and systems.

This book presents select proceedings of the International Conference on Advances in Fluid Flow and Thermal Sciences (ICAFFTS 2021) and summarizes the modern research practices in thermal sciences and engineering. The content of book involves advanced topics in heat transfer science, automobile, refrigeration and air conditioning, cryogenics, non-conventional systems and energy storage. Topics on cutting edge research in the area of hybrid nano-PCM-based systems, solar-based applications, bio-diesel and nano additives-based combustion, fuel cell and thermoacoustic engine are also included. In addition, this book contains recent research in the area of two-phase thermal management of Li-Ion/Li-titanium battery and LED systems using heat sink, heat pipe, pulsating heat pipe and thermosyphon with next-generation refrigerants, PCM and nanofluid. Some thermal aspects of virus/aerosol research, advances in volumetric velocimetry and application of artificial intelligence in thermal systems are also covered. This book is a valuable reference for academicians, researchers and professionals working in the various fields of thermal sciences.

This book, for the first time, provides comprehensive coverage on malicious modification of electronic hardware, also known as, hardware Trojan attacks, highlighting the evolution of the threat, different attack modalities, the challenges, and diverse array of defense approaches. It debunks the myths associated with hardware Trojan attacks and presents practical attack space in the scope of current business models and practices. It covers the threat of hardware Trojan attacks for all attack surfaces; presents attack models, types and scenarios; discusses trust metrics; presents different forms of protection approaches – both proactive and reactive; provides insight on current industrial practices; and finally, describes emerging attack modes, defenses and future research pathways.