Prof. Dr. Oliver Keszöcze
Hardware-Software-Co-Design Department of Computer Science,
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU),
Cauerstraße 11, 91058 Erlangen, Germany.
Title: One-pass Synthesis for Digital Microfluidic Biochips: A Survey


With the advances of the microfluidic technology, the design of digital microfluidic biochips recently received significant attention. The design process consists of multiple, consecutive design tasks, namely binding, scheduling, placement, and routing. These tasks are usually considered and solved separately. This can lead to design gaps between the individual steps, yielding less-than-optimal overall solutions or prevent to solve the next step altogether.
In this survey paper we will investigate two different one-pass design approaches that, by design, circumvent the design gaps: an exact, SAT-based approached guaranteeing optimal solutions with respect to area and/or timing and an heuristic graph-based approach. We discuss the (dis-)advantages of those approaches with respect to solutions size and scalability and illustrate them with experiments.


Oliver Keszocze studied Applied Mathematics and Computer Science at the University of Bremen. After his graduation in 2011 he worked as a Software Engineer for one year before going back to the University of Bremen in 2012 to pursue a PhD in Computer Science. He received his PhD on the design of Digital Microfluidic Biochips in 2017. Since 2018 he is a Juniorprofessor at the Chair for Hardware-Software-Co-Design at the Friedrich-Alexander University Erlangen-Nürnberg, Germany. His research interests include (Digital) Microfluidic Biochips and
Approximate Computing..