Search

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 describes for researchers in the fields of compiler technology, design and test, and electronic design automation the new area of digital microfluidic biochips (DMBs), and thus offers a new application area for their methods. The authors present a routing-based model of operation execution, along with several associated compilation approaches, which progressively relax the assumption that operations execute inside fixed rectangular modules. Since operations can experience transient faults during the execution of a bioassay, the authors show how to use both offline (design time) and online (runtime) recovery strategies. The book also presents methods for the synthesis of fault-tolerant application-specific DMB architectures.· Presents the current models used for the research on compilation and synthesis techniques of DMBs in a tutorial fashion; · Includes a set of “benchmarks”, which are presented in great detail and includes the source code of most of the techniques presented, including solutions to the basic compilation and synthesis problems;· Discusses several new research problems in detail, using numerous examples.

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 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.

1.1 Overview of Lab-on-Chip Laboratory-on-Chip (LoC) is a multidisciplinary approach used for the miniaturization, integration and automation of biological assays or procedures in analytical chemistry [1–3]. Biology and chemistry are experimental sciences that are continuing to evolve and develop new protocols. Each protocol offers step-by-step laboratory instructions, lists of the necessary equipments and required biological and/or chemical substances [4–7]. A biological or chemical laboratory contains various pieces of equipment used for performing such protocols and, as shown in Fig. 1.1, the engineering aspect of LoC design is aiming to embed all these components in a single chip for single-purpose applications. 1.1.1 Main Objectives of LoC Systems Several clear advantages of this technology over conventional approaches, including portability, full automation, ease of operation, low sample consumption and fast assays time, make LoC suitable for many applications including. 1.1.1.1 Highly Throughput Screening To conduct an experiment, a researcher fills a well with the required biological or chemical analytes and keeps the sample in an incubator for some time to allowing the sample to react properly. Afterwards, any changes can be observed using a microscope. In order to quickly conduct millions of biochemical or pharmacolo- cal tests, the researchers will require an automated highly throughput screening (HTS) [8], comprised of a large array of wells, liquid handling devices (e.g., mic- channel, micropump and microvalves [9–11]), a fully controllable incubator and an integrated sensor array, along with the appropriate readout system.

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

Microfluidics-based biochips, also known as lab-on-a-chip or bio-MEMS, are becoming increasingly popular for DNA analysis, clinical diagnostics, and the detection/manipulation of bio-molecules. As the use of microfluidics-based biochips increases, their complexity is expected to become significant due to the need for multiple and concurrent assays on the chip, as well as more sophisticated control mechanisms for resource management. Time-to-market and fault tolerance are also expected to emerge as design considerations. As a result, current full-custom design techniques will not scale well for larger designs. There is a need to deliver the same level of CAD support to the biochip designer that the semiconductor industry now takes for granted. Design Automation Methods and Tools for Microfluidics-Based Biochips deals with all aspects of design automation for microfluidics-based biochips. Experts have contributed chapters on various aspects of biochip design automation. Topics include device modeling; adaptation of bioassays for on-chip implementations; numerical methods and simulation tools; architectural synthesis, scheduling and binding of assay operations; physical design and module placement; fault modeling and testing; reconfiguration methods.