Synthesis of Digital Microfluidic Biochips with Reconfigurable Operation Execution

Microfluidic biochips are an alternative to conventional biochemical laboratories, and are able to integrate on-chip all the necessary functions for biochemical analysis. The " digital " biochips are manipulating liquids not as a continuous flow, but as discrete droplets on a two-dimensional array of electrodes. The main objective of this thesis is to develop top-down synthesis techniques for digital microfluidic biochips. So far, researchers have assumed that operations are executing on virtual modules of rectangular shape, formed by grouping adjacent electrodes, and which have a fixed placement on the microfluidic array. However, operations can actually execute by routing the droplets on any sequence of electrodes on the biochip. Thus, we have proposed a routing-based model of operation execution, and we have developed several associated synthesis approaches, which progressively relax the assumption that operations execute inside fixed rectangular modules. The proposed synthesis approaches consider that i) modules can dynamically move during their execution and ii) can have non-rectangular shapes. iii) We have relaxed the assumption that all electrodes are occupied during the operation execution, by taking into account the position of droplets inside modules. Finally, iv) we have eliminated the concept of virtual modules and have allowed the droplets to move on the chip on any route. In this context, we have also shown how contamination can be avoided. We have extensively evaluated the proposed approaches using several real-life case studies and synthetic benchmarks. The experiments show that by considering the dynamically reconfigurable nature of microfluidic operations, significant improvements can be obtained, decreasing the biochemical application completion times, reducing thus the biochip area and implementation costs. The thesis deals with optimization tools for the synthesis of digital microfluidic biochips, in an effort to offer the microfluidic community with the same level of support present in the semiconductors industry. viii Acknowledgements To all the people that inspired me throughout my life. Thank you! x Contents Summary i Resumé iii Preface v Papers included in the thesis vii Acknowledgements ix 1 Introduction 1 1.

[1]  Krishnendu Chakrabarty,et al.  Synchronization of washing operations with droplet routing for cross-contamination avoidance in digital microfluidic biochips , 2010, Design Automation Conference.

[2]  Krishnendu Chakrabarty,et al.  Cross-contamination avoidance for droplet routing in digital microfluidic biochips , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[3]  R. Fair,et al.  Electrowetting-based on-chip sample processing for integrated microfluidics , 2003, IEEE International Electron Devices Meeting 2003.

[4]  Dieter Stoll,et al.  Protein microarray technology. , 2002, Frontiers in bioscience : a journal and virtual library.

[5]  Mauricio G. C. Resende,et al.  Greedy Randomized Adaptive Search Procedures , 1995, J. Glob. Optim..

[6]  Krishnendu Chakrabarty Design Automation and Test Solutions for Digital Microfluidic Biochips , 2010, IEEE Transactions on Circuits and Systems I: Regular Papers.

[7]  Krishnendu Chakrabarty,et al.  Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Fei Su,et al.  High-level synthesis of digital microfluidic biochips , 2008, JETC.

[9]  Fei Su,et al.  Module placement for fault-tolerant microfluidics-based biochips , 2006, ACM Trans. Design Autom. Electr. Syst..

[10]  C. Kim,et al.  Two-dimensional digital microfluidic system by multilayer printed circuit board , 2005, 18th IEEE International Conference on Micro Electro Mechanical Systems, 2005. MEMS 2005..

[11]  Richard B. Fair,et al.  Digital microfluidics: is a true lab-on-a-chip possible? , 2007 .

[12]  Krishnendu Chakrabarty,et al.  Design automation for microfluidics-based biochips , 2005, JETC.

[13]  Oliver Sinnen,et al.  Task Scheduling for Parallel Systems , 2007, Wiley series on parallel and distributed computing.

[14]  Paul Pop,et al.  Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP , 2008 .

[15]  S. Quake,et al.  Microfluidic Large-Scale Integration , 2002, Science.

[16]  Shih-Kang Fan,et al.  Manipulation of multiple droplets on N/spl times/M grid by cross-reference EWOD driving scheme and pressure-contact packaging , 2003, The Sixteenth Annual International Conference on Micro Electro Mechanical Systems, 2003. MEMS-03 Kyoto. IEEE.

[17]  Paul Pop,et al.  Tabu search-based synthesis of dynamically reconfigurable digital microfluidic biochips , 2009, CASES '09.

[18]  Fei Su,et al.  Testing of droplet-based microelectrofluidic systems , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

[19]  R. Fair,et al.  An integrated digital microfluidic lab-on-a-chip for clinical diagnostics on human physiological fluids. , 2004, Lab on a chip.

[20]  Fei Su,et al.  Droplet Routing in the Synthesis of Digital Microfluidic Biochips , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[21]  Majid Sarrafzadeh,et al.  Fast Template Placement for Reconfigurable Computing Systems , 2000, IEEE Des. Test Comput..

[22]  R. Fair,et al.  Electrowetting-based actuation of droplets for integrated microfluidics. , 2002, Lab on a chip.

[23]  R. Stoughton Applications of DNA microarrays in biology. , 2005, Annual review of biochemistry.

[24]  Giovanni De Micheli,et al.  Synthesis and Optimization of Digital Circuits , 1994 .

[25]  Krishnendu Chakrabarty,et al.  Droplet-trace-based array partitioning and a pin assignment algorithm for the automated design of digital microfluidic biochips , 2006, Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '06).

[26]  Paul Pop,et al.  Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices , 2010, Des. Autom. Embed. Syst..

[27]  Fei Su,et al.  Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[28]  Krishnendu Chakrabarty,et al.  Integrated droplet routing and defect tolerance in the synthesis of digital microfluidic biochips , 2008, JETC.

[29]  Mark K. Goldberg,et al.  Performance Characterization of a Reconfigurable Planar-Array Digital Microfluidic System , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[30]  A Manz,et al.  Chemical amplification: continuous-flow PCR on a chip. , 1998, Science.

[31]  R. Fair,et al.  Micro/nano liter droplet formation and dispensing by capacitance metering and electrowetting actuation , 2002, Proceedings of the 2nd IEEE Conference on Nanotechnology.

[32]  Jie Ding,et al.  Scheduling of microfluidic operations for reconfigurabletwo-dimensional electrowetting arrays , 2001, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[33]  Jack Zhou,et al.  Chemical and Biological Applications of Digital-Microfluidic Devices , 2007, IEEE Design & Test of Computers.

[34]  Krishnendu Chakrabarty,et al.  Functional testing of digital microfluidic biochips , 2007, 2007 IEEE International Test Conference.

[35]  Krishnendu Chakrabarty,et al.  Parallel Scan-Like Testing and Fault Diagnosis Techniques for Digital Microfluidic Biochips , 2007, 12th IEEE European Test Symposium (ETS'07).

[36]  Fred W. Glover,et al.  Tabu Search , 1997, Handbook of Heuristics.

[37]  Narayanan Vijaykrishnan,et al.  Priority Scheduling in Digital Microfluidics-Based Biochips , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[38]  R. Fair,et al.  A droplet-based lab-on-a-chip for colorimetric detection of nitroaromatic explosives , 2005, 18th IEEE International Conference on Micro Electro Mechanical Systems, 2005. MEMS 2005..

[39]  Fei Su,et al.  Defect-oriented testing and diagnosis of digital microfluidics-based biochips , 2005, IEEE International Conference on Test, 2005..

[40]  Krishnendu Chakrabarty,et al.  A Cross-Referencing-Based Droplet Manipulation Method for High-Throughput and Pin-Constrained Digital Microfluidic Arrays , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[41]  Y. Yang,et al.  Droplet based micro oscillating flow-through PCR chip , 2004, 17th IEEE International Conference on Micro Electro Mechanical Systems. Maastricht MEMS 2004 Technical Digest.

[42]  Krishnendu Chakrabarty,et al.  Broadcast electrode-addressing for pin-constrained multi-functional digital microfluidic biochips , 2008, 2008 45th ACM/IEEE Design Automation Conference.

[43]  Yao-Wen Chang,et al.  ILP-Based Pin-Count Aware Design Methodology for Microfluidic Biochips , 2010, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[44]  R. Fair,et al.  Design and testing of an interpolating mixing architecture for electrowetting-based droplet-on-chip chemical dilution , 2003, TRANSDUCERS '03. 12th International Conference on Solid-State Sensors, Actuators and Microsystems. Digest of Technical Papers (Cat. No.03TH8664).

[45]  Paul Pop,et al.  Module-Based Synthesis of Digital Microfluidic Biochips with Droplet-Aware Operation Execution , 2013, JETC.

[46]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[47]  Fei Su,et al.  Digital Microfluidic Biochips - Synthesis, Testing, and Reconfiguration Techniques , 2006 .

[48]  Yao-Wen Chang,et al.  BioRoute: A Network-Flow-Based Routing Algorithm for the Synthesis of Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[49]  Tsung-Wei Huang,et al.  A contamination aware droplet routing algorithm for digital microfluidic biochips , 2009, 2009 IEEE/ACM International Conference on Computer-Aided Design - Digest of Technical Papers.

[50]  Aaron R. Wheeler,et al.  Digital bioanalysis , 2009, Analytical and bioanalytical chemistry.

[51]  Yao-Wen Chang,et al.  Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation , 2007, JETC.

[52]  M. Snyder,et al.  Protein microarray technology , 2006, Mechanisms of Ageing and Development.

[53]  Wayne H. Wolf,et al.  TGFF: task graphs for free , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[54]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[55]  Evangeline F. Y. Young,et al.  CrossRouter: A droplet router for cross-referencing digital microfluidic biochips , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[56]  D. Coen,et al.  Enzymatic Amplification of DNA by PCR: Standard Procedures and Optimization , 2001, Current protocols in cell biology.

[57]  Krishnendu Chakrabarty,et al.  Synchronization of Concurrently-Implemented Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips , 2010, 2010 23rd International Conference on VLSI Design.

[58]  C. Kim,et al.  An integrated digital microfluidic chip for multiplexed proteomic sample preparation and analysis by MALDI-MS. , 2006, Lab on a chip.

[59]  Paul Pop,et al.  Routing-based synthesis of digital microfluidic biochips , 2012 .

[60]  Hans G. Kerkhoff Testing Microelectronic Biofluidic Systems , 2007, IEEE Design & Test of Computers.

[61]  Fei Su,et al.  Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications , 2006, 2006 43rd ACM/IEEE Design Automation Conference.

[62]  David Z. Pan,et al.  A high-performance droplet router for digital microfluidic biochips , 2008, ISPD '08.

[63]  Yao-Wen Chang,et al.  Cross-Contamination Aware Design Methodology for Pin-Constrained Digital Microfluidic Biochips , 2011, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[64]  Fei Su,et al.  Concurrent testing of droplet-based microfluidic systems for multiplexed biomedical assays , 2004 .

[65]  K. Chakrabarty,et al.  Ensuring the operational health of droplet-based microelectrofluidic biosensor systems , 2005, IEEE Sensors Journal.

[66]  Phil Paik,et al.  Rapid droplet mixers for digital microfluidic systems. , 2003, Lab on a chip.

[67]  K. Jacobs Introduction to Microfluidics. By Patrick Tabeling. , 2006 .

[68]  Celso C. Ribeiro,et al.  Greedy Randomized Adaptive Search Procedures , 2003, Handbook of Metaheuristics.

[69]  Jessica Melin,et al.  Microfluidic large-scale integration: the evolution of design rules for biological automation. , 2007, Annual review of biophysics and biomolecular structure.

[70]  R. Fair,et al.  Droplet-based microfluidic lab-on-a-chip for glucose detection , 2004 .

[71]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[72]  Fei Su,et al.  Architectural-level synthesis of digital microfluidics-based biochips , 2004, ICCAD 2004.

[73]  Karl-Friedrich Böhringer Towards Optimal Strategies for Moving Droplets in Digital Microfluidic Systems , 2004, ICRA.