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.

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.

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

This book presents exact, that is minimal, solutions to individual steps in the design process for Digital Microfluidic Biochips (DMFBs), as well as a one-pass approach that combines all these steps in a single process. All of the approaches discussed are based on a formal model that can easily be extended to cope with further design problems. In addition to the exact methods, heuristic approaches are provided and the complexity classes of various design problems are determined. Presents exact methods to tackle a variety of design problems for Digital Microfluidic Biochips (DMFBs); Describes an holistic, one-pass approach solving different design steps all at once; Based on a formal model of DMFBs that is easily adaptable to deal with further design tasks.

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.

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.

Microfluidic biochips have gained prominence due to their versatile applications to biochemistry and health-care domains such as point-of-care clinical diagnosis of tropical and cardiovascular diseases, cancer, diabetes, toxicity analysis, and for the mitigation of the global HIV crisis, among others. Microfluidic Lab-on-Chips (LoCs) offer a convenient platform for emulating various fluidic operations in an automated fashion. However, because of the inherent uncertainty of fluidic operations, the outcome of biochemical experiments performed on-chip can be erroneous even if the chip is tested a priori and deemed to be defect-free. This book focuses on the issues encountered in reliable sample preparation with digital microfluidic biochips (DMFBs), particularly in an error-prone environment. It presents state-of-the-art error management techniques and underlying algorithmic challenges along with their comparative discussions. Describes a comprehensive framework for designing a robust and error-tolerant biomedical system which will help in migrating from cumbersome medical laboratory tasks to small-sized LOC-based systems Presents a comparative study on current error-tolerant strategies for robust sample preparation using DMFBs and reports on efficient algorithms for error-tolerant sample dilution using these devices Illustrates how algorithmic engineering, cyber-physical tools, and software techniques are helpful in implementing fault tolerance Covers the challenges associated with design automation for biochemical sample preparation Teaches how to implement biochemical protocols using software-controlled microfluidic biochips Interdisciplinary in its coverage, this reference is written for practitioners and researchers in biochemical, biomedical, electrical, computer, and mechanical engineering, especially those involved in LOC or bio-MEMS design.