| Title | (Invited Paper) A Clique-Based Approach to Find Binding and Scheduling Result in Flow-Based Microfluidic Biochips |
| Author | *Trung Anh Dinh, Shigeru Yamashita (Ritsumeikan University, Japan), Tsung-Yi Ho (National Cheng Kung University, Taiwan), Yuko Hara-Azumi (Nara Institute of Science and Technology, Japan) |
| Page | pp. 199 - 204 |
| Keyword | Flow-based microfluidic biochips, Architectural synthesis, Routing constraints, Resource constraints, Clique |
| Abstract | Microfluidic biochips have been recently proposed to integrate all the necessary functions for biochemical analysis. There are several types of microfluidic biochips; among them there has been a great interest in flow-based microfluidic biochips, in which the flow of liquid is manipulated using integrated micro-valves. By combining several microvalves, more complex resource units such as micropumps, switches and mixers can be built. For efficient execution, the flow of liquid routes in microfluidic biochips needs to be scheduled under some specific constraints. |
| Slides |
| Title | (Invited Paper) Control Synthesis of the Flow-Based Microfluidic Large-Scale Integration Biochips |
| Author | Wajid Hassan Minhass, *Paul Pop, Jan Madsen (Technical University of Denmark, Denmark), Tsung-Yi Ho (National Cheng Kung University, Taiwan) |
| Page | pp. 205 - 212 |
| Keyword | microfluidic, biochips, synthesis, flow-based, control |
| Abstract | In this paper we are interested in flow-based microfluidic biochips, which are able to integrate the necessary functions for biochemical analysis on-chip. In these chips, the flow of liquid is manipulated using integrated microvalves. By combining severalmicrovalves, more complex units, such asmicropumps, mixers, and multiplexers, can be built. In this paper we propose, for the first time to our knowledge, a top-down control synthesis framework for the flow-based biochips. Starting from a given biochemical application and a biochip architecture, we synthesize the control logic that is used by the biochip controller to automatically execute the biochemical application. We also propose a control pin count minimization scheme aimed at efficiently utilizing chip area, reducing macro-assembly around the chip and enhancing chip scalability. We have evaluated our approach using both real-life applications and synthetic benchmarks. |
| Title | (Invited Paper) A Network-Flow Based Valve-Switching Aware Binding Algorithm for Flow-Based Microfluidic Biochips |
| Author | *Kai-Han Tseng, Sheng-Chi You (National Cheng Kung University, Taiwan), Wajid Hassan Minhass (Technical University of Denmark, Denmark), Tsung-Yi Ho (National Cheng Kung University, Taiwan), Paul Pop (Technical University of Denmark, Denmark) |
| Page | pp. 213 - 218 |
| Keyword | Flow-based microfluidic biochip, Network flow, Valve minimization |
| Abstract | Designs of flow-based microfluidic biochips
are receiving much attention recently because they replace
conventional biological automation paradigm and are able to
integrate different biochemical analysis functions on a chip.
However, as the design complexity increases, a flow-based
microfluidic biochip needs more chip-integrated micro-valves,
i.e., the basic unit of fluid-handling functionality, to
manipulate the fluid flow for biochemical applications. Moreover,
frequent switching of micro-valves may cause more power
consumption and even result in the problem of reliability. To
minimize the valve-switching activities, we develop a network-flow
based resource binding algorithm based on breadth-first search (BFS)
and minimum cost maximum flow (MCMF) in architectural-level
synthesis. The experimental results show that our methodology not
only makes significant reduction of valve-switching activities but
also diminishes the application completion time for both real-life
applications and a set of synthetic benchmarks. |
| Slides |
| Title | (Invited Paper) Design and Verification Tools for Continuous Fluid Flow-based Microfluidic Devices |
| Author | Jeffrey McDaniel, Aurelila Baez, Brian Crites, Aditya Tammewar, *Philip Brisk (University of California, Riverside, U.S.A.) |
| Page | pp. 219 - 224 |
| Keyword | Microfluidics, Hardware Design Language |
| Abstract | This paper describes an integrated design, verification, and simulation environment for programmable microfluidic devices called laboratories-on-chip (LoCs). Today’s LoCs are architected and laid out by hand, which is time-consuming, tedious, and error-prone. To increase designer productivity, this paper introduces a Microfluidic Hardware Design Language (MHDL) for LoC specification, along with software tools to assist LoC designers verify the correctness of their specifications and estimate their performance. |
| Slides |