TY - GEN

T1 - Synthesis of Biochemical Applications on Flow-Based Microfluidic Biochips using Constraint Programming

A1 - Minhass,Wajid Hassan

A1 - Pop,Paul

A1 - Madsen,Jan

AU - Minhass,Wajid Hassan

AU - Pop,Paul

AU - Madsen,Jan

PB - IEEE

PY - 2012

Y1 - 2012

N2 - Microfluidic biochips are replacing the conventional biochemical analyzers and are able to integrate the necessary functions for biochemical analysis on-chip. In this paper we are interested in flow-based biochips, in which the flow of liquid is manipulated using integrated microvalves. By combining several microvalves, more complex units, such as micropumps, switches, mixers, and multiplexers, can be built. We propose a constraint programming (CP) based approach for the synthesis of biochemical applications on flow-based microfluidic biochips. We use a sequencing graph to model the biochemical application and consider that the biochip architecture is given. We model the architecture using a topology graph. We are interested in synthesizing an implementation, consisting of binding and scheduling of the biochemical operations onto the components of the architecture, such that the resource and dependency constraints are satisfied and the application completion time is minimized. Our CP framework generates optimal implementations and has been evaluated using synthetic as well as real-life case studies.

AB - Microfluidic biochips are replacing the conventional biochemical analyzers and are able to integrate the necessary functions for biochemical analysis on-chip. In this paper we are interested in flow-based biochips, in which the flow of liquid is manipulated using integrated microvalves. By combining several microvalves, more complex units, such as micropumps, switches, mixers, and multiplexers, can be built. We propose a constraint programming (CP) based approach for the synthesis of biochemical applications on flow-based microfluidic biochips. We use a sequencing graph to model the biochemical application and consider that the biochip architecture is given. We model the architecture using a topology graph. We are interested in synthesizing an implementation, consisting of binding and scheduling of the biochemical operations onto the components of the architecture, such that the resource and dependency constraints are satisfied and the application completion time is minimized. Our CP framework generates optimal implementations and has been evaluated using synthetic as well as real-life case studies.

KW - CAD

KW - Microfluidics

KW - Biochips

KW - Synthesis

KW - Performance

SN - 978-1-4673-0785-7

BT - 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP)

T2 - 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP)

SP - 37

EP - 41

ER -