Coverage includes a topology graph-based model for the biochip architecture, and a sequencing graph to model for biochemical application, showing how the application model can be obtained from the protocol language.
Paul Pop is a professor at DTU Compute, Technical Universityof Denmark (DTU). He has received his Ph.D. degree in computer systems fromLinkoping University in 2003. His main research interests are in the area ofsystem-level design of embedded systems. He has published extensively in thisarea, and has received the best paper award at the DATE 2005, RTiS 2007, CASES2009 and MECO 2013 conferences and the EDAA Outstanding Dissertations Award(co-supervisor) in 2011. Since 2008 he has also addressed Computer-Aided Designmethods for biochips. His work in this area has received the best paper awardat the CASES 2009 conference. He has co-organized and participated in tutorialsand special sessions on CAD for biochips at conferences such as SOCC 2011,ESWEEK 2011, EMBC 2015 and ETS 2015.
Innehållsförteckning
Introduction.- Part 1. Preliminaries.- Design Methodologyfor Flow-based Microfluidic Biochips.- Biochip Architecture Model.- BiochemicalApplication Modeling.- Part 2. Compilation.- Compiling High-Level Languages.- ApplicationMapping and Simulation.- Control Synthesis and Pin-Count Minimization.- Part 3.Physical Design.- Allocation and Schematic Design.- Placement and Routing.- On-ChipControl Synthesis.- Testing and Fault-Tolerant Design.