Close-to-optimal placement and routing for continuous-flow microfluidic biochips

Continuous-flow microfluidics rapidly evolved in the last decades as a solution to automate laboratory procedures in molecular biology and biochemistry. Therefore, the physical design of the corresponding chips, i.e., the placement and routing of the involved components and channels, received significant attention. Recently, several physical design solutions for this task have been presented. However, they often rely on general heuristics which traverse the search space in a rather arbitrary fashion and, additionally, consider placement and routing independently from each other. Consequently, the obtained results are often far from being optimal. In this work, a methodology is proposed which aims for determining close-to-optimal physical designs for continuous-flow microfluidic biochips. To this end, we consider all — or, at least, as much as possible — of the valid solutions. As this obviously yields a significant complexity, solving engines are utilized to efficiently traverse the search space and pruning schemes are proposed to reduce the search space without discarding too many promising solutions. Evaluations show that the proposed methodology is capable of determining optimal results for small experiments to be realized. For larger experiments, close-to-optimal results can efficiently be derived. Moreover, compared to the current state-of-the-art, improvements of up to 1–2 orders of magnitude can be observed.

[1]  J. Rogers,et al.  Recent progress in soft lithography , 2005 .

[2]  Tsung-Yi Ho,et al.  A top-down synthesis methodology for flow-based microfluidic biochips considering valve-switching minimization , 2013, ISPD '13.

[3]  J. Madsen,et al.  Synthesis of biochemical applications on flow-based microfluidic biochips using constraint programming , 2012, 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS.

[4]  Yici Cai,et al.  Integrated Flow-Control Codesign Methodology for Flow-Based Microfluidic Biochips , 2015, IEEE Design & Test.

[5]  Jong Wook Hong,et al.  Integrated nanoliter systems , 2003, Nature Biotechnology.

[6]  Yici Cai,et al.  Sequence-pair-based placement and routing for flow-based microfluidic biochips , 2016, 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).

[7]  Paul Pop,et al.  Architectural synthesis of flow-based microfluidic large-scale integration biochips , 2012, CASES '12.

[8]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[9]  Tsung-Yi Ho,et al.  Control synthesis for the flow-based microfluidic large-scale integration biochips , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[10]  D. T. Lee,et al.  An efficient bi-criteria flow channel routing algorithm for flow-based microfluidic biochips , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

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

[12]  Stephen R Quake,et al.  Phase knowledge enables rational screens for protein crystallization , 2006, Proceedings of the National Academy of Sciences.

[13]  Armin Biere,et al.  Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays , 2009, TACAS.

[14]  Robert Wille,et al.  A general and exact routing methodology for Digital Microfluidic Biochips , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[15]  G. Whitesides The origins and the future of microfluidics , 2006, Nature.

[16]  Stephen R Quake,et al.  Solvent resistant microfluidic DNA synthesizer. , 2007, Lab on a chip.

[17]  Nada Amin,et al.  Computer-aided design for microfluidic chips based on multilayer soft lithography , 2009, 2009 IEEE International Conference on Computer Design.

[18]  Paul Pop,et al.  System-level modeling and synthesis of flow-based microfluidic biochips , 2011, 2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).

[19]  R. Zengerle,et al.  Microfluidic lab-on-a-chip platforms: requirements, characteristics and applications. , 2010, Chemical Society reviews.

[20]  Kai Hu,et al.  Control-layer optimization for flow-based mVLSI microfluidic biochips , 2014, 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

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

[22]  S. Quake,et al.  Microfluidics: Fluid physics at the nanoliter scale , 2005 .

[23]  S. Quake,et al.  Monolithic microfabricated valves and pumps by multilayer soft lithography. , 2000, Science.

[24]  Philip Brisk,et al.  Simulated annealing-based placement for microfluidic large scale integration (mLSI) chips , 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

[25]  Axel Scherer,et al.  High-throughput multi-antigen microfluidic fluorescence immunoassays. , 2006, BioTechniques.