Abstract
This chapter provides all the technical and formal background necessary for reading this book. More precisely, Sect. 2.1 provides further details about operations on biochips and problems arising from moving droplets. Section 2.2 introduces a formal model that abstracts from physical aspects that do not play a vital role when performing design automation for synthesis. This model is the basis for all solutions presented in this work. Finally, Sect. 2.3 introduces different reasoning engines employed to obtain the exact design solutions. In fact, using a formal description of a problem and then asking a solving engine to determine a valid model is the core technique used in this book.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Albrecht C (2001) Global routing by new approximation algorithms for multicommodity flow. IEEE Trans Comput Aided Des Integr Circuits Syst 20(5):622–632
Bailleux O, Boufkhad Y (2003) Efficient CNF encoding of Boolean cardinality constraints. In: Constraint programming 2003. Lecture notes in computer science, vol 2833, pp 108–122
Biere A et al (ed) (2009) Handbook of satisfiability. IOS Press, Amsterdam
Böhringer KF (2004) Towards optimal strategies for moving droplets in digital microfluidic systems. In: International conference on robotics and automation, pp 1468–1474
De Moura L, Bjørner N (2008) Z3: an efficient SMT solver. In: Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 337–340. Z3 is available at https://github.com/Z3Prover/z3
Eén N, Sörensson N (2006) Translating pseudo-boolean constraints into SAT. J Satisfiability Boolean Model Comput 2:1–26
Fan S-K, Hashi C, Kim C-J (2003) Manipulation of multiple droplets on N×M grid by cross-reference EWOD driving scheme and pressure-contact packaging. In: International conference on micro electro mechanical systems. MEMS, pp 694–697
Grimmer A et al (2017) A discrete model for networked labs-on-chips: linking the physical world to design automation. In: Design automation conference, p 50
Hwang W, Su F, Chakrabarty K (2006) Automated design of pin-constrained digital microfluidic arrays for Lab-on-a-Chip applications. In: Design automation conference, pp 925–930
Pan M, Chu C (2006) FastRoute: a step to integrate global routing into placement. In: International conference on computer aided design, pp 464–471
Sinz C (2005) Towards an optimal CNF encoding of boolean cardinality constraints. In: International conference on principles and practice of constraint programming, pp 827–831
Srinivasan V, Pamula VK, Fair RB (2004) An integrated digital microfluidic lab-on-a-chip for clinical diagnostics on human physiological fluids. Lab Chip 4(4):310–315
Su F, Hwang W, Chakrabarty K (2006) Droplet routing in the synthesis of digital microfluidic biochips. In: Design, automation and test in Europe, vol 1, pp 1–6
Wolsey L, Nemhauser G (1999) Integer and combinatorial optimization. Wiley-interscience series in discrete mathematics and optimization. Wiley, New York
Xu T et al (2007) Automated design of pin-constrained digital microfluidic biochips under droplet-interference constraints. ACM J Emerg Technol Comput Syst 3(3):14
Yuh P-H et al (2008) A progressive-ILP based routing algorithm for cross-referencing biochips. In: Design automation conference, pp 284–289
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Keszocze, O., Wille, R., Drechsler, R. (2019). Background. In: Exact Design of Digital Microfluidic Biochips. Springer, Cham. https://doi.org/10.1007/978-3-319-90936-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-90936-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-90935-6
Online ISBN: 978-3-319-90936-3
eBook Packages: EngineeringEngineering (R0)