An open-source compiler and PCB synthesis tool for digital microfluidic biochips

This paper describes a publicly available, open source software framework designed to support research efforts on algorithms and control for digital microfluidic biochips (DMFBs), an emerging laboratory-on-a-chip (LoC) technology. The framework consists of two parts: a compiler, which converts an assay, specified using the BioCoder language, into a sequence of electrode activations that execute out the assay on the DMFB; and a printed circuit board (PCB) layout tool, which includes algorithms to reduce the number of control pins and PCB layers required to drive the chip from an external source. The framework also includes a suite of visualization tools for debugging, and a collection of front-end algorithms that generate mixing/dilution trees for sample preparation.

[1]  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..

[2]  Philip Brisk,et al.  A digital microfluidic biochip synthesis framework , 2012, 2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC).

[3]  Krishnendu Chakrabarty,et al.  Error Recovery in Cyberphysical Digital Microfluidic Biochips , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[5]  Krishnendu Chakrabarty,et al.  On-Chip Dilution from Multiple Concentrations of a Sample Fluid Using Digital Microfluidics , 2013, VDAT.

[6]  Tsung-Wei Huang,et al.  Progressive network-flow based power-aware broadcast addressing for pin-constrained digital microfluidic biochips , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[7]  Krishnendu Chakrabarty,et al.  Reliability-oriented broadcast electrode-addressing for pin-constrained digital microfluidic biochips , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[8]  Tsung-Wei Huang,et al.  A Contamination Aware Droplet Routing Algorithm for the Synthesis of Digital Microfluidic Biochips , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[9]  Krishnendu Chakrabarty,et al.  Optimization Techniques for the Synchronization of Concurrent Fluidic Operations in Pin-Constrained Digital Microfluidic Biochips , 2012, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[10]  H. Verheijen,et al.  REVERSIBLE ELECTROWETTING AND TRAPPING OF CHARGE : MODEL AND EXPERIMENTS , 1999, cond-mat/9908328.

[11]  Behrouz Abedian,et al.  Irreversible electrowetting on thin fluoropolymer films. , 2007, Langmuir : the ACS journal of surfaces and colloids.

[12]  Chia-Hung Liu,et al.  Reactant minimization during sample preparation on digital microfluidic biochips using skewed mixing trees , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[13]  Martin D. F. Wong,et al.  Correctly Modeling the Diagonal Capacity in Escape Routing , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Tsung-Yi Ho,et al.  Reliability-Driven Chip-Level Design for High-Frequency Digital Microfluidic Biochips , 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[15]  Karl-Friedrich Böhringer,et al.  Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[16]  Lyle E. Yarnell,et al.  Automated digital microfluidic platform for magnetic-particle-based immunoassays with optimization by design of experiments. , 2013, Analytical chemistry.

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

[18]  Tsung-Yi Ho,et al.  Reliability-Driven Chip-Level Design for High-Frequency Digital Microfluidic Biochips , 2015, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[19]  Ying-Han Chen,et al.  A Reliability-Oriented Placement Algorithm for Reconfigurable Digital Microfluidic Biochips Using 3-D Deferred Decision Making Technique , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[20]  Krishnendu Chakrabarty,et al.  A Reagent-Saving Mixing Algorithm for Preparing Multiple-Target Biochemical Samples Using Digital Microfluidics , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[22]  Tsung-Wei Huang,et al.  Voltage-Aware Chip-Level Design for Reliability-Driven Pin-Constrained EWOD Chips , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[23]  Krishnendu Chakrabarty,et al.  Optimization of Dilution and Mixing of Biochemical Samples Using Digital Microfluidic Biochips , 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[25]  Chia-Hung Liu,et al.  Reactant and Waste Minimization in Multitarget Sample Preparation on Digital Microfluidic Biochips , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[26]  William Thies,et al.  Biocoder: A programming language for standardizing and automating biology protocols , 2010, Journal of biological engineering.

[27]  Fei Su,et al.  Defect-Aware High-Level Synthesis and Module Placement for Microfluidic Biochips , 2008, IEEE Transactions on Biomedical Circuits and Systems.

[28]  Peng Li,et al.  Anodic Ta2O5 for CMOS compatible low voltage electrowetting-on-dielectric device fabrication , 2007 .

[29]  J. Heikenfeld,et al.  Toward active-matrix lab-on-a-chip: programmable electrofluidic control enabled by arrayed oxide thin film transistors. , 2012, Lab on a chip.

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

[31]  William Thies,et al.  Abstraction layers for scalable microfluidic biocomputing , 2008, Natural Computing.

[32]  Tsung-Wei Huang,et al.  A Two-Stage Integer Linear Programming-Based Droplet Routing Algorithm for Pin-Constrained Digital Microfluidic Biochips , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[33]  Ansuman Banerjee,et al.  On Producing Linear Dilution Gradient of a Sample with a Digital Microfluidic Biochip , 2013, 2013 International Symposium on Electronic System Design.

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

[35]  S. Cho,et al.  Low voltage electrowetting-on-dielectric , 2002 .

[36]  Philip Brisk,et al.  Fast Online Synthesis of Digital Microfluidic Biochips , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[37]  Miguel Angel Murran,et al.  Capacitance-based droplet position estimator for digital microfluidic devices. , 2012, Lab on a chip.

[38]  Tsung-Wei Huang,et al.  A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips , 2009, 2009 IEEE International Conference on Computer Design.

[39]  Hafizur Rahaman,et al.  A Heuristic Method for Co-optimization of Pin Assignment and Droplet Routing in Digital Microfluidic Biochip , 2012, 2012 25th International Conference on VLSI Design.

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

[41]  Lars Järnström,et al.  Comparison of lignin derivatives as substrates for laccase-catalyzed scavenging of oxygen in coatings and films , 2014, Journal of biological engineering.

[42]  Philip Brisk,et al.  A field-programmable pin-constrained digital microfluidic biochip , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[43]  David Z. Pan,et al.  A High-Performance Droplet Routing Algorithm for Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[44]  Philip Brisk,et al.  Path scheduling on digital microfluidic biochips , 2012, DAC Design Automation Conference 2012.

[45]  H. Morgan,et al.  Programmable large area digital microfluidic array with integrated droplet sensing for bioassays. , 2012, Lab on a chip.

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

[47]  Ansuman Banerjee,et al.  Correctness Checking of Bio-chemical Protocol Realizations on a Digital Microfluidic Biochip , 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.

[48]  Aaron R Wheeler,et al.  Digital microfluidics with impedance sensing for integrated cell culture and analysis. , 2013, Biosensors & bioelectronics.

[49]  Krishnendu Chakrabarty,et al.  Optimization of polymerase chain reaction on a cyberphysical digital microfluidic biochip , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[50]  Georgi Gaydadjiev,et al.  An efficient algorithm for free resources management on the FPGA , 2008, 2008 Design, Automation and Test in Europe.

[51]  Martin D. F. Wong,et al.  A negotiated congestion based router for simultaneous escape routing , 2010, 2010 11th International Symposium on Quality Electronic Design (ISQED).

[52]  Krishnendu Chakrabarty,et al.  Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip , 2010, JETC.

[53]  A. Wheeler,et al.  DropBot: An open-source digital microfluidic control system with precise control of electrostatic driving force and instantaneous drop velocity measurement , 2013 .

[54]  Fei Su,et al.  Automated design of pin-constrained digital microfluidic biochips under droplet-interference constraints , 2007, JETC.

[55]  T. Knight,et al.  Pathfinder : A Negotiation-Based Performance-Driven Router for FPGAs , 2012 .

[56]  Pranab Roy,et al.  A novel droplet routing algorithm for digital microfluidic biochips , 2010, GLSVLSI '10.

[57]  Philip Brisk,et al.  Interpreting Assays with Control Flow on Digital Microfluidic Biochips , 2014, ACM J. Emerg. Technol. Comput. Syst..

[58]  Ansuman Banerjee,et al.  Multiple Dilution Sample Preparation Using Digital Microfluidic Biochips , 2012, 2012 International Symposium on Electronic System Design (ISED).

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

[60]  Jun Kwon Park,et al.  Fast and reliable droplet transport on single-plate electrowetting on dielectrics using nonfloating switching method. , 2010, Biomicrofluidics.

[61]  Shiyan Hu,et al.  Multiscale Variation-Aware Techniques for High-Performance Digital Microfluidic Lab-on-a-Chip Component Placement , 2011, IEEE Transactions on NanoBioscience.

[62]  Bonhye Koo,et al.  Evaluation of anodic TA2O5 as the dielectric layer for EWOD devices , 2012, 2012 IEEE 25th International Conference on Micro Electro Mechanical Systems (MEMS).

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

[64]  Chia-Hung Liu,et al.  Sample preparation for many-reactant bioassay on DMFBs using common dilution operation sharing , 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[65]  Chia-Hung Liu,et al.  Graph-based optimal reactant minimization for sample preparation on digital microfluidic biochips , 2013, 2013 International Symposium onVLSI Design, Automation, and Test (VLSI-DAT).

[66]  Tsung-Wei Huang,et al.  A Network-Flow Based Pin-Count Aware Routing Algorithm for Broadcast-Addressing EWOD Chips , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[67]  Tsung-Wei Huang,et al.  An ILP-Based Routing Algorithm for Pin-Constrained EWOD Chips With Obstacle Avoidance , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

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

[69]  Krishnendu Chakrabarty,et al.  Real-Time Error Recovery in Cyberphysical Digital-Microfluidic Biochips Using a Compact Dictionary , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[70]  Philip Brisk,et al.  Fast online synthesis of generally programmable digital microfluidic biochips , 2012, CODES+ISSS.

[71]  A. I. Drygiannakis,et al.  On the connection between dielectric breakdown strength, trapping of charge, and contact angle saturation in electrowetting. , 2009, Langmuir : the ACS journal of surfaces and colloids.

[72]  Philip Brisk,et al.  Force-Directed List Scheduling for Digital Microfluidic Biochips , 2012, 2012 IEEE/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC).

[73]  Krishnendu Chakrabarty,et al.  Waste-aware dilution and mixing of biochemical samples with digital microfluidic biochips , 2011, 2011 Design, Automation & Test in Europe.

[74]  Philip Brisk,et al.  A Low-Cost Field-Programmable Pin-Constrained Digital Microfluidic Biochip , 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[75]  Philip Brisk,et al.  Multi-terminal PCB escape routing for digital microfluidic biochips using negotiated congestion , 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

[76]  Krishnendu Chakrabarty,et al.  Simultaneous Optimization of Droplet Routing and Control-Pin Mapping to Electrodes in Digital Microfluidic Biochips , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[77]  Krishnendu Chakrabarty,et al.  Broadcast Electrode-Addressing and Scheduling Methods for Pin-Constrained Digital Microfluidic Biochips , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[78]  Krishnendu Chakrabarty,et al.  Integrated Control-Path Design and Error Recovery , 2013 .

[79]  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.

[80]  Chia-Hung Liu,et al.  Latency-optimization synthesis with module selection for digital microfluidic biochips , 2013, 2013 IEEE International SOC Conference.

[81]  Yan Luo,et al.  Design of Pin-Constrained General-Purpose Digital Microfluidic Biochips , 2013, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

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

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

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

[85]  Tsung-Wei Huang,et al.  Integrated Fluidic-Chip Co-Design Methodology for Digital Microfluidic Biochips , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[86]  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.

[87]  Jason Heikenfeld,et al.  Reliable and Low-Voltage Electrowetting on Thin Parylene Films , 2011 .

[88]  Krishnendu Chakrabarty,et al.  On-Chip Sample Preparation with Multiple Dilutions Using Digital Microfluidics , 2012, 2012 IEEE Computer Society Annual Symposium on VLSI.