Abstract
Digital microfluidics biochips are a promising emerging technology that provides fluidic experimental capabilities on a chip (i.e., following the lab-on-a-chip paradigm). However, the design of such biochips still constitutes a challenging task that is usually tackled by multiple individual design steps, such as binding, scheduling, placement, and routing. Performing these steps consecutively may lead to design gaps and infeasible results. To address these shortcomings, the concept of one-pass design for digital microfluidics biochips has recently been proposed—a holistic approach avoiding the design gaps by considering the whole synthesis process as large. But implementations of this concept available thus far suffer from either high computational effort or costly results. In this article, we present an efficient one-pass solution that is runtime efficient (i.e., rarely needing more than a second to successfully synthesize a design) while, at the same time, producing better results than previously published heuristic approaches. Experimental results confirm the benefits of the proposed solution and allow for realizing really large assays composed of thousands of operations in reasonable runtime.
- Mirela Alistar, Urs Gaudenz, Mirela Alistar, and Urs Gaudenz. 2017. OpenDrop: An integrated do-it-yourself platform for personal use of biochips. Bioengineering 4, 2 (2017), 45. DOI:https://doi.org/10.3390/bioengineering4020045Google ScholarCross Ref
- Sukanta Bhattacharjee, Robert Wille, Juinn-Dar Huang, and Bhargab B. Bhattacharya. 2018. Storage-aware sample preparation using flow-based microfluidic labs-on-chip. In Proceedings of the Conference on Design, Automation and Test in Europe. 1399--1404.Google Scholar
- Ying-Han Chen, Chung-Lun Hsu, Li-Chen Tsai, Tsung-Wei Huang, and Tsung-Yi Ho. 2013. A reliability-oriented placement algorithm for reconfigurable digital microfluidic biochips using 3-D deferred decision making technique. TCAD 32, 8 (2013), 1151--1162. DOI:https://doi.org/10.1109/TCAD.2013.2249558Google Scholar
- Ting-Wei Chiang, Chia-Hung Liu, and Juinn-Dar Huang. 2013. Graph-based optimal reactant minimization for sample preparation on digital microfluidic biochips. In VLSI Design Automation and Test. 1--4. DOI:https://doi.org/10.1109/VLDI-DAT.2013.6533817Google Scholar
- Christopher Curtis, Daniel Grissom, and Philip Brisk. 2018. A compiler for cyber-physical digital microfluidic biochips. In Proceedings of the 2018 International Symposium on Code Generation and Optimization. 365--377.Google ScholarDigital Library
- Trung Anh Dinh, Shigeru Yamashita, Tsung-Yi Ho, and Yuko Hara-Azumi. 2013. A clique-based approach to find binding and scheduling result in flow-based microfluidic biochips. In Proceedings of the Asia and South Pacific Design Automation Conference. 199--204. DOI:https://doi.org/10.1109/ASPDAC.2013.6509596Google Scholar
- Ryan Fobel, Christian Fobel, and Aaron R. Wheeler. 2013. DropBot: An open-source digital microfluidic control system with precise control of electrostatic driving force and instantaneous drop velocity measurement. APL 102, 19 (2013), 193513. DOI:https://doi.org/10.1063/1.4807118Google ScholarCross Ref
- Daniel Grissom and Philip Brisk. 2012. Fast online synthesis of generally programmable digital microfluidic biochips. In Proceedings of the 8th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis. 413--422.Google ScholarDigital Library
- Daniel Grissom and Philip Brisk. 2012. Path scheduling on digital microfluidic biochips. In Proceedings of the DAC Design Automation Conference 2012. IEEE, 26--35.Google ScholarDigital Library
- Daniel Grissom, Christopher Curtis, Skyler Windh, Calvin Phung, Navin Kumar, Zachary Zimmerman, O’Neal Kenneth, Jeffrey McDaniel, Nick Liao, and Philip Brisk. 2015. An open-source compiler and PCB synthesis tool for digital microfluidic biochips. Integration 51 (2015), 169--193.Google ScholarDigital Library
- Daniel Grissom, Kenneth O’Neal, Benjamin Preciado, Hiral Patel, Robert Doherty, Nick Liao, and Philip Brisk. 2012. A digital microfluidic biochip synthesis framework. In Proceedings of the International Conference on VLSI and System-on-Chip. 177--182. DOI:https://doi.org/10.1109/VLSI-SoC.2012.7332097 MFSimStatic is available at github: https://github.com/UCRMicrofluidics/MFSimStatic.Google Scholar
- Daniel T. Grissom and Philip Brisk. 2014. Fast online synthesis of digital microfluidic biochips. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 33, 3 (2014), 356--369.Google ScholarDigital Library
- Zeno Guttenberg, Helena Müller, Heiko Habermüller, Andreas Geisbauer, Jürgen Pipper, Jana Felbel, Mark Kielpinski, Jürgen Scriba, and Achim Wixforth. 2005. Planar chip device for PCR and hybridization with surface acoustic wave pump. J. Lab Chip 5, 3 (2005), 308--317.Google ScholarCross Ref
- Mingyan He, J. Scott Edgar, Gavin D. M. Jeffries, Robert M. Lorenz, J. Patrick Shelby, and Daniel T. Chiu. 2005. Selective encapsulation of single cells and subcellular organelles into picoliter-and femtoliter-volume droplets. J. Anal. Chem. 77, 6 (2005), 1539--1544.Google ScholarCross Ref
- Tsung-Yi Ho, Jun Zeng, and Krishnendu Chakrabarty. 2010. Digital microfluidic biochips: A vision for functional diversity and more than Moore. In Proceedings of the International Conference on Computer Aided Design. 578--585. DOI:https://doi.org/10.1109/ICCAD.2010.5654199Google ScholarCross Ref
- Tsung-Wei Huang and Tsung-Yi Ho. [n.d.]. A fast routability- and performance-driven droplet routing algorithm for digital microfluidic biochips. In Proceedings of the International Conference on Computer Design. Institute of Electrical and Electronics Engineers. DOI:https://doi.org/10.1109/ICCD.2009.5413119Google ScholarCross Ref
- Lung-Hsin Hung, Kyung M. Choi, Wei-Yu Tseng, Yung-Chieh Tan, Kenneth J. Shea, and Abraham Phillip Lee. 2006. Alternating droplet generation and controlled dynamic droplet fusion in microfluidic device for CdS nanoparticle synthesis. J. Lab Chip 6, 2 (2006), 174--178.Google ScholarCross Ref
- Mohamed Ibrahim, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, and Miroslav Pajic. 2016. A real-time digital-microfluidic platform for epigenetics. In Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES’16). Association for Computing Machinery, 1--10. DOI:https://doi.org/10.1145/2968455.2968516Google ScholarDigital Library
- Oliver Keszocze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, and Rolf Drechsler. 2018. Exact synthesis of biomolecular protocols for multiple sample pathways on digital microfluidic biochips. In 31st International Conference on VLSI Design. 121--126. DOI:https://doi.org/10.1109/VLSID.2018.48Google ScholarCross Ref
- Oliver Keszocze, Andre Pols, and Rolf Drechsler. 2017. A human-centered approach to routing for digital microfluidic biochips. In Proceedings of the Workshop on Design Automation for Understanding Hardware Designs.Google Scholar
- Oliver Keszocze, Robert Wille, Krishnendu Chakrabarty, and Rolf Drechsler. 2015. A general and exact routing methodology for digital microfluidic biochips. In Proceedings of the International Conference on Computer Aided Design (ICCAD’15). IEEE Press, 874--881. DOI:https://doi.org/10.1109/ICCAD.2015.7372663Google ScholarDigital Library
- Oliver Keszöcze, Robert Wille, and Rolf Drechsler. 2014. Exact routing for digital microfluidic biochips with temporary blockages. In Proceedings of the International Conference on Computer Aided Design. 405--410.Google ScholarCross Ref
- Oliver Keszocze, Robert Wille, Tsung-Yi Ho, and Rolf Drechsler. 2014. Exact one-pass synthesis of digital microfluidic biochips. In Proceedings of the Design Automation Conference. 1--6. DOI:https://doi.org/10.1145/2593069.2593135Google ScholarDigital Library
- Tung-Che Liang, Zhanwei Zhong, Yaas Bigdeli, Tsung-Yi Ho, Krishnendu Chakrabarty, and Richard Fair. 2020. Adaptive droplet routing in digital microfluidic biochips using deep reinforcement learning. In Proceedings of the International Conference on Machine Learning. PMLR, 6050--6060.Google Scholar
- Tyson Loveless, Jason Ott, and Philip Brisk. 2020. A performance-optimizing compiler for cyber-physical digital microfluidic biochips. In Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. 171--184.Google ScholarDigital Library
- Elena Maftei, Paul Pop, and Jan Madsen. 2010. Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. DAEM 14, 3 (2010), 287--307. DOI:https://doi.org/10.1007/s10617-010-9059-xGoogle Scholar
- Kenneth O’Neal, Daniel Grissom, and Philip Brisk. 2012. Force-directed list scheduling for digital microfluidic biochips. In Proceedings of the International Conference on VLSI and System-on-Chip. 7--11. DOI:https://doi.org/10.1109/VLSI-SoC.2012.7332068Google Scholar
- Kenneth O’neal, Daniel Grissom, and Philip Brisk. 2017. Resource-constrained scheduling for digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 14, 1 (2017), 1--26.Google ScholarDigital Library
- Jason Ott, Tyson Loveless, Chris Curtis, Mohsen Lesani, and Philip Brisk. 2018. BioScript: Programming safe chemistry on laboratories-on-a-chip. In Proceedings of the ACM on Object-oriented Programming, Systems, Languages, and Applications(OOPSLA’18), 1--31.Google ScholarDigital Library
- Phil Paik, Vamsee K. Pamula, and Richard B. Fair. 2003. Rapid droplet mixers for digital microfluidic systems. 3, 4 (2003), 253--259. DOI:https://doi.org/10.1039/B307628HGoogle Scholar
- Sudip Poddar, Gerold Fink, Werner Haselmayr, and Robert Wille. 2021. Generic sample preparation for different microfluidic platforms. In Proceedings of the Conference on Design, Automation and Test in Europe.Google Scholar
- Sudip Poddar, Robert Wille, Hafizur Rahaman, and Bhargab B. Bhattacharya. 2019. Error-oblivious sample preparation with digital microfluidic lab-on-chip. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 38, 10 (2019), 1886--1899.Google ScholarDigital Library
- Michael George Pollack, A. D. Shenderov, and Richard B. Fair. 2002. Electrowetting-based actuation of droplets for integrated microfluidics. 2, 2 (2002), 96--101. DOI:https://doi.org/10.1039/B110474HGoogle Scholar
- Mohammed Shayan, Sukanta Bhattacharjee, Robert Wille, Krishnendu Chakrabarty, and Ramesh Karri. 2021. How secure are checkpoint-based defenses in digital microfluidic biochips? IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 40, 1 (2021), 143--156.Google ScholarCross Ref
- Mohammed Shayan, Tung-Che Liang, Sukanta Bhattacharjee, Krishnendu Chakrabarty, and Ramesh Karri. 2020. Toward secure checkpointing for micro-electrode-dot-array biochips. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 39, 12 (2020), 4908--4920.Google ScholarCross Ref
- J. H. Song, R. Evans, Y.-Y. Lin, B.-N. Hsu, and R. B. Fair. 2009. A scaling model for electrowetting-on-dielectric microfluidic actuators. MANO 7, 1 (2009), 75--89. DOI:https://doi.org/10.1007/s10404-008-0360-yGoogle Scholar
- Jannis Stoppe, Oliver Keszöcze, Maximilian Luenert, Robert Wille, and Rolf Drechsler. 2017. BioViz: An interactive visualization engine for the design of digital microfluidic biochips. In Proceedings of the International Symposium on VLSI. 170--175.Google ScholarCross Ref
- Fei Su and Krishnendu Chakrabarty. 2004. Architectural-level synthesis of digital microfluidics-based biochips. In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD’04). IEEE, 223--228.Google Scholar
- Fei Su and Krishnendu Chakrabarty. 2006. Module placement for fault-tolerant microfluidics-based biochips. 11, 3 (2006), 682--710. DOI:https://doi.org/10.1145/1142980.1142987Google Scholar
- Fei Su and Krishnendu Chakrabarty. 2008. High-level synthesis of digital microfluidic biochips. ACM J. Emerg. Technol. Comput. Syst. 3, 4 (2008), 1--32.Google ScholarDigital Library
- Jyotiranjan Swain, Kolluri Rajesh, and Sumanta Pyne. [n.d.]. A space efficient greedy droplet routing for digital microfluidics biochip. In VLSI Design and Test, Communications in Computer and Information Science, Anirban Sengupta, Sudeb Dasgupta, Virendra Singh, Rohit Sharma, and Santosh Kumar Vishvakarma (Eds.). Springer, 102--114. DOI:https://doi.org/10.1007/978-981-32-9767-8_9Google Scholar
- Yung-Chieh Tan, Kanaka Hettiarachchi, Maria Siu, Yen-Ru Pan, and Abraham Phillip Lee. 2006. Controlled microfluidic encapsulation of cells, proteins, and microbeads in lipid vesicles. J. Am. Chem. Soc. 128, 17 (2006), 5656--5658.Google ScholarCross Ref
- Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri. 2018. Secure randomized checkpointing for digital microfluidic biochips. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 37, 6 (2018), 1119--1132.Google ScholarCross Ref
- Robert Wille, Oliver Keszocze, Rolf Drechsler, Tobias Boehnisch, and Andreas Kroker. 2015. Scalable one-pass synthesis for digital microfluidic biochips. 32, 6 (2015), 41--50. DOI:https://doi.org/10.1109/MDAT.2015.2455344Google Scholar
- Max Willsey, Ashley P. Stephenson, Chris Takahashi, Pranav Vaid, Bichlien H. Nguyen, Michal Piszczek, Christine Betts, Sharon Newman, Sarang Joshi, Karin Strauss, et al. 2019. Puddle: A dynamic, error-correcting, full-stack microfluidics platform. In Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems. 183--197.Google ScholarDigital Library
- Bo Zheng, L. Spencer Roach, and Rustem F. Ismagilov. 2003. Screening of protein crystallization conditions on a microfluidic chip using nanoliter-size droplets. J. Am. Chem. Soc. 125, 37 (2003), 11170--11171.Google ScholarCross Ref
- Zhanwei Zhong, Robert Wille, and Krishnendu Chakrabarty. 2019. Robust sample preparation on low-cost digital microfluidic biochips. In Proceedings of the Asia and South Pacific Design Automation Conference.Google ScholarDigital Library
Index Terms
- Efficient One-pass Synthesis for Digital Microfluidic Biochips
Recommendations
Digital microfluidic biochips: recent research and emerging challenges
CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesisMicrofluidic biochips are replacing the conventional biochemical analyzers, and are able to integrate on-chip all the basic functions for biochemical analysis. The "digital" microfluidic biochips (DMFBs) are manipulating liquids not as a continuous flow,...
Interpreting Assays with Control Flow on Digital Microfluidic Biochips
BioCoder is a C++ library developed at Microsoft Research, India, for the unambiguous specification of biochemical assays. This article describes language extensions to BioCoder along with a compiler and runtime system that translate and execute assays ...
A low-cost fluid-level synthesis for droplet-based microfluidic biochips integrating design convergence, contamination avoidance, and washing
Droplet-based microfluidic biochips (or DMFBs) are rapidly becoming a revolutionizing lab-on-a-chip technology. Numerous application specific protocols bridging the cross-disciplinary fields necessitate DMFBs as their prime need. The main goal at the ...
Comments