Oliver Keszocze
Robert Wille
Rolf Drechsler
ABSTRACT
With the advances of the microfluidic technology, the design of digital microfluidic biochips recently received significant attention. But thus far, the corresponding design tasks such as binding, scheduling, placement, and routing have usually been considered separately. Furthermore, often just heuristic results have been obtained. In this work, we present a one-pass synthesis scheme which directly realizes the desired functionality onto the chip and, at the same time, guarantees minimality with respect to area and/or timing. For this purpose, the deductive power of solvers for Boolean satisfiability is exploited. Experiments show how the approach leverages the design of the respective devices.
- Microfluidic applications in the pharmaceutical, life sciences, in-vitro diagnostic and medical device markets report 2013. http://www.researchandmarkets.com/research/z6nhg7/microfluidic.Google Scholar
- C. Barrett, A. Stump, and C. Tinelli. The SMT-LIB Standard: Version 2.0. In A. Gupta and D. Kroening, editors, International SMT Workshop (Edinburgh), 2010.Google Scholar
- A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. Handbook of Satisfiability. IOS Press, 2009.Google Scholar
- Y.-H. Chen, C.-L. Hsu, L.-C. Tsai, T.-W. Huang, and T.-Y. Ho. A reliability-oriented placement algorithm for reconfigurable digital microfluidic biochips using 3D deferred decision making technique. IEEE TCAD, 32(8):1151--1162, 2013.Google Scholar
- L. De Moura and N. Bjørner. Z3: An efficient smt solver. In TACAS, pages 337--340. Springer, 2008. Z3 is available at http://z3.codeplex.com/. Google ScholarDigital Library
- N. Eén and N. Sörensson. An extensible SAT solver. In SAT 2003, volume 2919 of LNCS, pages 502--518, 2004.Google Scholar
- D. Grissom and P. Brisk. Fast online synthesis of generally programmable digital microfluidic biochips. In ACM CODES+ISSS, pages 413--422. ACM, 2012. Google ScholarDigital Library
- F. Haedicke, S. Frehse, G. Fey, D. Große, and R. Drechsler. metaSMT: Focus on your application not on solver integration. In DIFTS, pages 22--29, 2011. metaSMT is available at https://github.com/agra-uni-bremen/metaSMT.Google Scholar
- T.-Y. Ho, J. Zeng, and K. Chakrabarty. Digital microfluidic biochips: A vision for functional diversity and more than moore. In IEEE/ACM ICCAD, pages 578--585. IEEE Press, 2010. Google ScholarDigital Library
- E. Maftei, P. Pop, and J. Madsen. Tabu search-based synthesis of digital microfluidic biochips with dynamically reconfigurable non-rectangular devices. DAES, 14(3):287--307, 2010.Google Scholar
- M. Pollack, A. Shenderov, and R. Fair. Electrowetting-based actuation of droplets for integrated microfluidics. Lab on a Chip, 2(2):96--101, 2002.Google Scholar
- A. J. Ricketts, K. Irick, N. Vijaykrishnan, and M. J. Irwin. Priority scheduling in digital microfluidics-based biochips. In DATE, pages 329--334, 2006. Google ScholarDigital Library
- J. Song, R. Evans, Y.-Y. Lin, B.-N. Hsu, and R. Fair. A scaling model for electrowetting-on-dielectric microfluidic actuators. Microfluidics and Nanofluidics, 7(1):75--89, 2009.Google ScholarCross Ref
- F. Su and K. Chakrabarty. High-level synthesis of digital microfluidic biochips. ACM JETC, 3(4):1:1--1:32, January 2008. Google ScholarDigital Library
- F. Su, W. Hwang, and K. Chakrabarty. Droplet routing in the synthesis of digital microfluidic biochips. In DATE, volume 1, pages 1--6, 2006. Google ScholarDigital Library
Recommendations
Efficient One-pass Synthesis for Digital Microfluidic Biochips
Survey PaperDigital 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 ...
High-level synthesis for micro-electrode-dot-array digital microfluidic biochips
DAC '16: Proceedings of the 53rd Annual Design Automation ConferenceA digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. However, today's DMFBs suffer from several limitations: (i) constraints on droplet size and the inability to vary droplet ...
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,...
Comments