Optimization, Testing and Design-for-Testability of Flow-Based Microfluidic Biochips

<p>Flow-based microfluidic biochips constitute an emerging technology for the automation of biochemical procedures. Recent advances in fabrication techniques have enabled the development of these devices. Increasing integration levels provide biochips with tremendous potential; a large number of bioassays, i.e., protocols for biochemistry, can be processed independently, simultaneously, and automatically on a coin-sized microfluidic platform. However, the increases in integration level introduce new challenges in the design optimization and the testing of these devices, which impede their further adoption and deployment.</p><p>This thesis is focused on enhancing the automated design and use of flow-based microfluidic biochips and on developing a set of solutions to facilitate the full exploitation of design complexities that are possible with current fabrication techniques. Four key research challenges are addressed in the thesis; these include design automation, wash optimization, testing, and defect diagnosis.</p><p>Despite the increase in the number of on-chip valves, designers are still using full-custom methodologies involving many manual steps to implement these chips. Since these chips can easily have thousands of valves, manual design procedure can be time-consuming and error-prone, and it can result in inefficient designs. This thesis presents the first problem formulation for automated control-layer design in flow-based microfluidic biochips and describes a systematic approach for solving this problem. Our goal is to find an efficient routing solution for control-layer design with a minimum number of control pins.</p><p>The problem of contamination removal in flow-based microfluidic biochips must also be addressed. Applications in biochemistry require high precision to avoid erroneous assay outcomes, and they are vulnerable to contamination between two fluidic flows with different biochemistries. This thesis proposes the first approach for automated wash optimization for contamination removal in flow-based microfluidic biochips. The proposed approach ensures effective cleaning and targets the generation of wash pathways to clean all contaminated microchannels with minimum execution time under physical constraints.</p><p>Another practical problem addressed in this thesis is the lack of test techniques for screening defective biochips before they are used for biochemical analysis. This thesis presents an efficient approach for automated testing of flow-based microfluidic biochips. The test technique is based on a behavioral abstraction of physical defects in microchannels and valves. The flow paths and flow control in the microfluidic device are modeled as a logic circuit composed of Boolean gates, which allows test generation to be carried out using standard automatic test-pattern generation tools. Based on the analysis of untestable faults in the logic-circuit model, we present a design-for-testability technique that can achieve 100\% fault coverage.</p><p>Finally, this thesis presents a technique for the automated diagnosis of leakage and blockage defects. The proposed method targets the identification of defect types and their locations based on test outcomes. It reduces the number of possible defect sites significantly while identifying their exact locations.</p><p>In summary, this thesis has led to a set of optimization and testing methods for flow-based microfluidic biochips. The results of this research are expected to not only shorten the product development cycle, but also accelerate the adoption and further development of this emerging technology by facilitating the full exploitation of design complexities that are possible with current fabrication techniques.</p>Dissertatio