Exact routing for digital microfluidic biochips with temporary blockages

Digital microfluidic biochips enable a higher degree of automation in laboratory procedures in biochemistry and molecular biology and have received significant attention in the recent past. Their design is usually conducted in several stages with routing being a particularly critical challenge. Previously proposed solutions for this design step suffer from two issues: They are mainly of heuristic nature and usually assume that the blockages to be bypassed are present the entire time. In contrast, we present a methodology which exploits the fact that blockages are often only present at certain intervals. At the same time, our approach guarantees exact solutions, i.e. always determines a routing with a minimal number of time steps. Experimental results show that, despite the huge complexity, optimal results can be achieved in reasonable run-time and that the consideration of temporary blockages indeed significantly improves the routing results.

[1]  Stefan Frehse,et al.  metaSMT: Focus on Your Application not on Solver Integration , 2011, DIFTS@FMCAD.

[2]  Kai Hu,et al.  Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[3]  R. Fair,et al.  A scaling model for electrowetting-on-dielectric microfluidic actuators , 2009 .

[4]  Yao-Wen Chang,et al.  BioRoute: a network-flow based routing algorithm for digital microfluidic biochips , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

[5]  Christel Baier,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2015, Lecture Notes in Computer Science.

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

[7]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[8]  Krishnendu Chakrabarty,et al.  Digital microfluidic biochips: A vision for functional diversity and more than moore , 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[9]  Yao-Wen Chang,et al.  A SAT-based routing algorithm for cross-referencing biochips , 2011, International Workshop on System Level Interconnect Prediction.

[10]  Yao-Wen Chang,et al.  A progressive-ILP based routing algorithm for cross-referencing biochips , 2008, 2008 45th ACM/IEEE Design Automation Conference.

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

[12]  Clark W. Barrett,et al.  The SMT-LIB Standard Version 2.0 , 2010 .

[13]  Cesare Tinelli,et al.  The SMT-LIB Standard: Version 1.2 , 2005 .

[14]  Robert Wille,et al.  Exact one-pass synthesis of digital microfluidic biochips , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[15]  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).

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