Search

The rapid growth in big data from mobile, Internet of things (IoT), and edge devices, and the continued demand for higher computing power, have established deep learning as the cornerstone of most artificial intelligence (AI) applications today. Recent years have seen a push towards deep learning implemented on domain-specific AI accelerators that support custom memory hierarchies, variable precision, and optimized matrix multiplication. Commercial AI accelerators have shown superior energy and footprint efficiency compared to GPUs for a variety of inference tasks. In this monograph, roadblocks that need to be understood and analyzed to ensure functional robustness in emerging AI accelerators are discussed. State-of-the-art practices adopted for structural and functional testing of the accelerators are presented, as well as methodologies for assessing the functional criticality of hardware faults in AI accelerators for reducing the test time by targeting the functionally critical faults. This monograph highlights recent research on efforts to improve test and reliability of neuromorphic computing systems built using non-volatile memory (NVM) devices like spin-transfer-torque (STT-MRAM) and resistive RAM (ReRAM) devices. Also are the robustness of silicon-photonic neural networks and the reliability concerns with manufacturing defects and process variations in monolithic 3D (M3D) based near-memory computing systems.

This book provides readers with a valuable guide to understanding security and the interplay of computer science, microfluidics, and biochemistry in a biochip cyberphysical system (CPS). The authors uncover new, potential threat and trust-issues to address, as this emerging technology is poised to be adapted at a large scale. Readers will learn how to secure biochip CPS by leveraging the available resources in different application contexts, as well as how to ensure intellectual property (IP) is protected against theft and counterfeits. This book enables secure biochip CPS design by helping bridge the knowledge gap at the intersection of the multi-disciplinary technology that drives biochip CPS.

A microfluidic biochip is an engineered fluidic device that controls the flow of analytes, thereby enabling a variety of useful applications. According to recent studies, the fields that are best set to benefit from the microfluidics technology, also known as lab-on-chip technology, include forensic identification, clinical chemistry, point-of-care (PoC) diagnostics, and drug discovery. The growth in such fields has significantly amplified the impact of microfluidics technology, whose market value is forecast to grow from $4 billion in 2017 to $13.2 billion by 2023. The rapid evolution of lab-on-chip technologies opens up opportunities for new biological or chemical science areas that can be directly facilitated by sensor-based microfluidics control. For example, the digital microfluidics-based ePlex system from GenMarkDx enables automated disease diagnosis and can bring syndromic testing near patients everywhere.However, as the applications of molecular biology grow, the adoption of microfluidics in many applications has not grown at the same pace, despite the concerted effort of microfluidic systems engineers. Recent studies suggest that state-of-the-art design techniques for microfluidics have two major drawbacks that need to be addressed appropriately: (1) current lab-on-chip systems were only optimized as auxiliary components and are only suitable for sample-limited analyses; therefore, their capabilities may not cope with the requirements of contemporary molecular biology applications; (2) the integrity of these automated lab-on-chip systems and their biochemical operations are still an open question since no protection schemes were developed against adversarial contamination or result-manipulation attacks. Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms provides solutions to these challenges by introducing a new design flow based on the realistic modeling of contemporary molecular biology protocols. It also presents a microfluidic security flow that provides a high-level of confidence in the integrity of such protocols. In summary, this book creates a new research field as it bridges the technical skills gap between microfluidic systems and molecular biology protocols but it is viewed from the perspective of an electronic/systems engineer.

This book describes novel hardware security and microfluidic biochip design methodologies to protect against tampering attacks in cyberphysical microfluidic biochips (CPMBs). It also provides a general overview of this nascent area of research, which will prove to be a vital resource for practitioners in the field.This book shows how hardware-based countermeasures and design innovations can be a simple and effective last line of defense, demonstrating that it is no longer justifiable to ignore security and trust in the design phase of biochips.

This holistic book is an invaluable reference for addressing various practical challenges in architecting and engineering Intelligent IoT and eHealth solutions for industry practitioners, academic and researchers, as well as for engineers involved in product development. The first part provides a comprehensive guide to fundamentals, applications, challenges, technical and economic benefits, and promises of the Internet of Things using examples of real-world applications. It also addresses all important aspects of designing and engineering cutting-edge IoT solutions using a cross-layer approach from device to fog, and cloud covering standards, protocols, design principles, reference architectures, as well as all the underlying technologies, pillars, and components such as embedded systems, network, cloud computing, data storage, data processing, big data analytics, machine learning, distributed ledger technologies, and security. In addition, it discusses the effects of Intelligent IoT, which are reflected in new business models and digital transformation. The second part provides an insightful guide to the design and deployment of IoT solutions for smart healthcare as one of the most important applications of IoT. Therefore, the second part targets smart healthcare-wearable sensors, body area sensors, advanced pervasive healthcare systems, and big data analytics that are aimed at providing connected health interventions to individuals for healthier lifestyles.

This book tackles important problems of anomaly detection and health status analysis in complex core router systems, integral to today's Internet Protocol (IP) networks. The techniques described provide the first comprehensive set of data-driven resiliency solutions for core router systems. The authors present an anomaly detector for core router systems using correlation-based time series analysis, which monitors a set of features of a complex core router system. They also describe the design of a changepoint-based anomaly detector such that anomaly detection can be adaptive to changes in the statistical features of data streams. The presentation also includes a symbol-based health status analyzer that first encodes, as a symbol sequence, the long-term complex time series collected from a number of core routers, and then utilizes the symbol sequence for health analysis. Finally, the authors describe an iterative, self-learning procedure for assessing the health status.Enables Accurate Anomaly Detection Using Correlation-Based Time-Series Analysis;Presents the design of a changepoint-based anomaly detector;Includes Hierarchical Symbol-based Health-Status Analysis;Describes an iterative, self-learning procedure for assessing the health status.

This book provides an insightful guide to the design, testing and optimization of micro-electrode-dot-array (MEDA) digital microfluidic biochips. The authors focus on the characteristics specific for MEDA biochips, e.g., real-time sensing and advanced microfluidic operations like lamination mixing and droplet shape morphing. Readers will be enabled to enhance the automated design and use of MEDA and to develop a set of solutions to facilitate the full exploitation of design complexities that are possible with standard CMOS fabrication techniques. The book provides the first set of design automation and test techniques for MEDA biochips. The methods described in this book have been validated using fabricated MEDA biochips in the laboratory. Readers will benefit from an in-depth look at the MEDA platform and how to combine microfluidics with software, e.g., applying biomolecular protocols to software-controlled and cyberphysical microfluidic biochips.

Recent microfluidic technologies have brought a complete paradigm shift in automating biochemical processing on a tiny lab-on-chip (a.k.a. biochip) that replaces expensive and bulky instruments traditionally used in implementing bench-top laboratory protocols. Biochips have already made a profound impact on various application domains such as clinical diagnostics, DNA analysis, genetic engineering, and drug discovery, among others. They are capable of precisely manipulating micro-/pico-liter quantities of fluids, and provide integrated support for mixing, storage, transportation, and sensing, on-chip. In almost all bioprotocols, sample preparation plays an important role, which includes dilution and mixing of several fluids satisfying certain volumetric ratios. However, designing algorithms that minimize reactant-cost and sample-preparation time suited for microfluidic chips poses a great challenge from the perspective of protocol mapping, scheduling, and physical design. Algorithms for Sample Preparation with Microfluidic Lab-on-Chip attempts to bridge the widening gap between biologists and engineers by introducing, from the fundamentals, several state-of-the-art computer-aided-design (CAD) algorithms for sample preparation with digital and flow-based microfluidic biochips. Technical topics discussed in the book include: Basics of digital and flow-based microfluidic lab-on-chipComprehensive review of state-of-the-art sample preparation algorithmsSample-preparation algorithms for digital microfluidic lab-on-chipSample-preparation algorithms for flow-based microfluidic lab-on-chip

This book provides a comprehensive overview of flow-based, microfluidic VLSI. The authors describe and solve in a comprehensive and holistic manner practical challenges such as control synthesis, wash optimization, design for testability, and diagnosis of modern flow-based microfluidic biochips. They introduce practical solutions, based on rigorous optimization and formal models. The technical contributions presented in this book will not only shorten the product development cycle, but also accelerate the adoption and further development of modern flow-based microfluidic biochips, by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.

This book provides readers with an insightful guide to the design, testing and optimization of 2.5D integrated circuits. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a programmable method for low-power scan shift in SoC dies. This book covers many testing techniques that have already been used in mainstream semiconductor companies. Readers will benefit from an in-depth look at test-technology solutions that are needed to make 2.5D ICs a reality and commercially viable.

This book provides a comprehensive set of characterization, prediction, optimization, evaluation, and evolution techniques for a diagnosis system for fault isolation in large electronic systems. Readers with a background in electronics design or system engineering can use this book as a reference to derive insightful knowledge from data analysis and use this knowledge as guidance for designing reasoning-based diagnosis systems. Moreover, readers with a background in statistics or data analytics can use this book as a practical case study for adapting data mining and machine learning techniques to electronic system design and diagnosis. This book identifies the key challenges in reasoning-based, board-level diagnosis system design and presents the solutions and corresponding results that have emerged from leading-edge research in this domain. It covers topics ranging from highly accurate fault isolation, adaptive fault isolation, diagnosis-system robustness assessment, to system performance analysis and evaluation, knowledge discovery and knowledge transfer. With its emphasis on the above topics, the book provides an in-depth and broad view of reasoning-based fault diagnosis system design.•Explains and applies optimized techniques from the machine-learning domain to solve the fault diagnosis problem in the realm of electronic system design and manufacturing;•Demonstrates techniques based on industrial data and feedback from an actual manufacturing line;•Discusses practical problems, including diagnosis accuracy, diagnosis time cost, evaluation of diagnosis system, handling of missing syndromes in diagnosis, and need for fast diagnosis-system development.

This book provides a comprehensive set of optimization and prediction techniques for an enterprise information system. Readers with a background in operations research, system engineering, statistics, or data analytics can use this book as a reference to derive insight from data and use this knowledge as guidance for production management. The authors identify the key challenges in enterprise information management and present results that have emerged from leading-edge research in this domain. Coverage includes topics ranging from task scheduling and resource allocation, to workflow optimization, process time and status prediction, order admission policies optimization, and enterprise service-level performance analysis and prediction. With its emphasis on the above topics, this book provides an in-depth look at enterprise information management solutions that are needed for greater automation and reconfigurability-based fault tolerance, as well as to obtain data-driven recommendations for effective decision-making.

This book describes a comprehensive framework for hardware/software co-design, optimization, and use of robust, low-cost, and cyberphysical digital microfluidic systems. Readers with a background in electronic design automation will find this book to be a valuable reference for leveraging conventional VLSI CAD techniques for emerging technologies, e.g., biochips or bioMEMS. Readers from the circuit/system design community will benefit from methods presented to extend design and testing techniques from microelectronics to mixed-technology microsystems. For readers from the microfluidics domain, this book presents a new design and development strategy for cyberphysical microfluidics-based biochips suitable for large-scale bioassay applications.• Takes a transformative, “cyberphysical” approach towards achieving closed-loop and sensor feedback-driven biochip operation under program control;• Presents a “physically-aware” system reconfiguration technique that uses sensor data at intermediate checkpoints to dynamically reconfigure biochips;• Enables readers to simplify the structure of biochips, while facilitating the “general-purpose” use of digital microfluidic biochips for a wider range of applications.

This book describes innovative techniques to address the testing needs of 3D stacked integrated circuits (ICs) that utilize through-silicon-vias (TSVs) as vertical interconnects. The authors identify the key challenges facing 3D IC testing and present results that have emerged from cutting-edge research in this domain. Coverage includes topics ranging from die-level wrappers, self-test circuits, and TSV probing to test-architecture design, test scheduling, and optimization. Readers will benefit from an in-depth look at test-technology solutions that are needed to make 3D ICs a reality and commercially viable.

Advances in design methods and process technologies have resulted in a continuous increase in the complexity of integrated circuits (ICs). However, the increased complexity and nanometer-size features of modern ICs make them susceptible to manufacturing defects, as well as performance and quality issues. Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits covers common problems in areas such as process variations, power supply noise, crosstalk, resistive opens/bridges, and design-for-manufacturing (DfM)-related rule violations. The book also addresses testing for small-delay defects (SDDs), which can cause immediate timing failures on both critical and non-critical paths in the circuit. Overviews semiconductor industry test challenges and the need for SDD testing, including basic concepts and introductory material Describes algorithmic solutions incorporated in commercial tools from Mentor Graphics Reviews SDD testing based on'alternative methods'that explores new metrics, top-off ATPG, and circuit topology-based solutions Highlights the advantages and disadvantages of a diverse set of metrics, and identifies scope for improvement Written from the triple viewpoint of university researchers, EDA tool developers, and chip designers and tool users, this book is the first of its kind to address all aspects of SDD testing from such a diverse perspective. The book is designed as a one-stop reference for current industrial practices, research challenges in the domain of SDD testing, and recent developments in SDD solutions.

This book provides a comprehensive guide to the design of sustainable and green computing systems (GSC). Coverage includes important breakthroughs in various aspects of GSC, including multi-core architectures, interconnection technology, data centers, high performance computing (HPC), and sensor networks. The authors address the challenges of power efficiency and sustainability in various contexts, including system design, computer architecture, programming languages, compilers and networking.

This book provides a comprehensive methodology for automated design, test and diagnosis, and use of robust, low-cost, and manufacturable digital microfluidic systems. It focuses on the development of a comprehensive CAD optimization framework for digital microfluidic biochips that unifies different design problems. With the increase in system complexity and integration levels, biochip designers can utilize the design methods described in this book to evaluate different design alternatives, and carry out design-space exploration to obtain the best design point.

System-on-a-Chip (SOC) integrated circuits composed of embedded cores are now commonplace. Nevertheless, there remain several roadblocks to rapid and efficient system integration. Test development is seen as a major bottleneck in SOC design and manufacturing capabilities. Testing SOCs is especially challenging in the absence of standardized test structures, test automation tools, and test protocols. In addition, long interconnects, high density, and high-speed designs lead to new types of faults involving crosstalk and signal integrity. SOC (System-on-a-Chip) Testing for Plug and Play Test Automation is an edited work containing thirteen contributions that address various aspects of SOC testing. SOC (System-on-a-Chip) Testing for Plug and Play Test Automation is a valuable reference for researchers and students interested in various aspects of SOC testing.

This book will introduce new techniques for detecting and diagnosing small-delay defects in integrated circuits. Although this sort of timing defect is commonly found in integrated circuits manufactured with nanometer technology, this will be the first book to introduce effective and scalable methodologies for screening and diagnosing small-delay defects, including important parameters such as process variations, crosstalk, and power supply noise.

Microfluidics-based biochips combine electronics with biochemistry, providing access to new application areas in a wide variety of fields. Continued technological innovations are essential to assuring the future role of these chips in functional diversification in biotech, pharmaceuticals, and other industries.Revolutionary guidance on design, opti

Digital Microfluidic Biochips focuses on the automated design and production of microfluidic-based biochips for large-scale bioassays and safety-critical applications. Bridging areas of electronic design automation with microfluidic biochip research, the authors present a system-level design automation framework that addresses key issues in the design, analysis, and testing of digital microfluidic biochips.The book describes a new generation of microfluidic biochips with more complex designs that offer dynamic reconfigurability, system scalability, system integration, and defect tolerance. Part I describes a unified design methodology that targets design optimization under resource constraints. Part II investigates cost-effective testing techniques for digital microfluidic biochips that include test resource optimization and fault detection while running normal bioassays. Part III focuses on different reconfiguration-based defect tolerance techniques designed to increase the yield and dependability of digital microfluidic biochips. Expanding upon results from ongoing research on CAD for biochips at Duke University, this book presents new design methodologies that address some of the limitations in current full-custom design techniques. Digital Microfluidic Biochips is an essential resource for achieving the integration of microfluidic components in the next generation of system-on-chip and system-in-package designs.

Composite systems that integrate microelectromechanical and microelectrofluidic (MEF) components with electronics are emerging as the next generation of system-on-a-chip (SOC) designs. However, there remains a pressing need for a structured methodology for MEFS design automation, including modeling techniques and simulation and optimization tools.Integrating top-down and bottom-up design philosophies, Microelectrofluidic Systems presents the first comprehensive design strategy for MEFS. This strategy supports hierarchical modeling and simulation from the component level to the system level. It leads to multi-objective optimization tools valuable in all phases of the design process, from conceptualization to final manufacturing. The authors begin by defining the basic variables and elements needed to describe MEFS behavior, then model that behavior across three layers of abstraction: the low-level component, high-level reconfigurable architecture, and bio/chemical application layers. They have developed a hierarchical integrated design environment with SystemC and present its architecture and associated functional packages.Microelectrofluidic Systems is visionary in its leverage of electronic design principles for microsystem design and heralds a new era of automated SOC design. The strategy it presents holds the potential for significant reductions in design time and life-cycle maintenance costs, and its techniques and tools for robust design and application flexibility can lead to the high-volume production needed for the inevitably growing product market.