1 Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP Elena Maftei Institute of Informatics and Mathematical Modelling Technical.

Slides:



Advertisements
Similar presentations
SkewReduce YongChul Kwon Magdalena Balazinska, Bill Howe, Jerome Rolia* University of Washington, *HP Labs Skew-Resistant Parallel Processing of Feature-Extracting.
Advertisements

Courseware Integer Linear Programming approach to Scheduling Sune Fallgaard Nielsen Informatics and Mathematical Modelling Technical University of Denmark.
NCKU CSIE EDALAB Shang-Tsung Yu, Sheng-Han Yeh, and Tsung-Yi Ho Electronic Design Automation Laboratory.
Solutions for Scheduling Assays. Why do we use laboratory automation? Improve quality control (QC) Free resources Reduce sa fety risks Automatic data.
Optimal Testing of Digital Microfluidic Biochips: A Multiple Traveling Salesman Problem R. Garfinkel 1, I.I. Măndoiu 2, B. Paşaniuc 2 and A. Zelikovsky.
Droplet-Aware Module-Based Synthesis for Fault-Tolerant Digital Microfluidic Biochips Elena Maftei, Paul Pop, and Jan Madsen Technical University of Denmark.
1 of 14 1/15 Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems Paul Pop, Petru Eles, Zebo Peng Embedded.
Data Partitioning for Reconfigurable Architectures with Distributed Block RAM Wenrui Gong Gang Wang Ryan Kastner Department of Electrical and Computer.
Storage Assignment during High-level Synthesis for Configurable Architectures Wenrui Gong Gang Wang Ryan Kastner Department of Electrical and Computer.
Solving the Protein Threading Problem in Parallel Nocola Yanev, Rumen Andonov Indrajit Bhattacharya CMSC 838T Presentation.
Thermal-Aware SoC Test Scheduling with Test Set Partitioning and Interleaving Zhiyuan He 1, Zebo Peng 1, Petru Eles 1 Paul Rosinger 2, Bashir M. Al-Hashimi.
HW/SW Co-Synthesis of Dynamically Reconfigurable Embedded Systems HW/SW Partitioning and Scheduling Algorithms.
The polymerase chain reaction (PCR) rapidly
Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark.
Recent Research and Emerging Challenges in the System-Level Design of Digital Microfluidic Biochips Paul Pop, Elena Maftei, Jan Madsen Technical University.
Software Pipelining for Stream Programs on Resource Constrained Multi-core Architectures IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEM 2012 Authors:
Static Translation of Stream Programs S. M. Farhad School of Information Technology The University of Sydney.
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
Path Scheduling on Digital Microfluidic Biochips Dan Grissom and Philip Brisk University of California, Riverside Design Automation Conference San Francisco,
Tao Lin Chris Chu TPL-Aware Displacement- driven Detailed Placement Refinement with Coloring Constraints ISPD ‘15.
ILP-Based Pin-Count Aware Design Methodology for Microfluidic Biochips Chiung-Yu Lin and Yao-Wen Chang Department of EE, NTU DAC 2009.
Exact routing for digital microfluidic biochips with temporary blockages OLIVER KESZOCZE ROBERT WILLE ROLF DRECHSLER ICCAD’14.
1. Placement of Digital Microfluidic Biochips Using the T-tree Formulation Ping-Hung Yuh 1, Chia-Lin Yang 1, and Yao-Wen Chang 2 1 Dept. of Computer Science.
A SAT-Based Routing Algorithm for Cross-Referencing Biochips Ping-Hung Yuh 1, Cliff Chiung-Yu Lin 2, Tsung- Wei Huang 3, Tsung-Yi Ho 3, Chia-Lin Yang 4,
1 SYNTHESIS of PIPELINED SYSTEMS for the CONTEMPORANEOUS EXECUTION of PERIODIC and APERIODIC TASKS with HARD REAL-TIME CONSTRAINTS Paolo Palazzari Luca.
Task Graph Scheduling for RTR Paper Review By Gregor Scott.
Advanced Computer Architecture Lab University of Michigan Compiler Controlled Value Prediction with Branch Predictor Based Confidence Eric Larson Compiler.
6. A PPLICATION MAPPING 6.3 HW/SW partitioning 6.4 Mapping to heterogeneous multi-processors 1 6. Application mapping (part 2)
Operating Systems for Reconfigurable Embedded Platforms: Online Scheduling of Real-Time Tasks -Ramkumar Shankar.
Fast Online Synthesis of Generally Programmable Digital Microfluidic Biochips Dan Grissom and Philip Brisk University of California, Riverside CODES+ISSS.
1 of 16 April 25, 2006 System-Level Modeling and Synthesis Techniques for Flow-Based Microfluidic Large-Scale Integration Biochips Contact: Wajid Hassan.
Whiplash PCR History: - Invented by Hagiya et all 1997] - Improved by Erik Winfree Made Isothermal by John Reif and Urmi Majumder 2008 Whiplash.
Wajid Minhass, Paul Pop, Jan Madsen Technical University of Denmark
Fully-integrated microfluidic chips capable of performing DNA amplification from RNA virus, sample transportation, capillary electrophoresis separation,
Winter-Spring 2001Codesign of Embedded Systems1 Co-Synthesis Algorithms: Distributed System Co- Synthesis Part of HW/SW Codesign of Embedded Systems Course.
Outline Motivation and Contributions Related Works ILP Formulation
ILP-Based Synthesis for Sample Preparation Applications on Digital Microfluidic Biochips ABHIMANYU YADAV, TRUNG ANH DINH, DAIKI KITAGAWA AND SHIGERU YAMASHITA.
1 Hardware-Software Co-Synthesis of Low Power Real-Time Distributed Embedded Systems with Dynamically Reconfigurable FPGAs Li Shang and Niraj K.Jha Proceedings.
System-Level Modeling and Simulation of the Cell Culture Microfluidic Biochip ProCell Wajid Hassan Minhass †, Paul Pop †, Jan Madsen † Mette Hemmingsen.
Synthesis of Digital Microfluidic Biochips with Reconfigurable Operation Execution Elena Maftei Technical University of Denmark DTU Informatics
Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems Domițian Tămaș-Selicean and Paul Pop Technical University of Denmark.
Synthesis of Reliable Digital Microfluidic Biochips using Monte Carlo Simulation Elena Maftei, Paul Pop, Florin Popenţiu Vlădicescu Technical University.
Routing-Based Synthesis of Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark CASES’101Routing-Based Synthesis.
DNA Replication The process to create a second equivalent DNA molecule from one original.
Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems Domițian Tămaș-Selicean and Paul Pop Technical University.
Synthesis of Biochemical Applications on Digital Microfluidic Biochips with Operation Variability Mirela Alistar, Elena Maftei, Paul Pop, Jan Madsen.
Architecture Synthesis for Cost Constrained Fault Tolerant Biochips
Elena Maftei Technical University of Denmark DTU Informatics
POLYMERASE CHAIN REACTION TECHNIQUES
PCR uses polymerases to copy DNA segments.
Reminders Unit 8 Exam- Tuesday, March, 21st
DNA profiling DNA profiling is a technique by which individuals can be identified and compared via their respective DNA profiles. Definitions you will.
16.3 – In vitro cloning Polymerase Chain Reaction
Polymerase Chain Reaction (PCR) technique
Affiliation of presenter
Fault-Tolerant Architecture Design for Flow-Based Biochips
Techniques for Analyzing DNA
A Unifying View on Instance Selection
Lesson 4 Synchronous Design Architectures: Data Path and High-level Synthesis (part two) Sept EE37E Adv. Digital Electronics.
Microfluidic Biochips
PCR uses polymerases to copy DNA segments.
PCR uses polymerases to copy DNA segments.
ICS 252 Introduction to Computer Design
Presented By: Darlene Banta
PCR Polymerase chain reaction (PCR)
PCR uses polymerases to copy DNA segments.
Thanks to Dr. Pierre Laneuville and
PCR uses polymerases to copy DNA segments.
PCR uses polymerases to copy DNA segments.
PCR uses polymerases to copy DNA segments.
Presentation transcript:

1 Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP Elena Maftei Institute of Informatics and Mathematical Modelling Technical University of Denmark

2 Microfluidic Biochips Lab on a chip Applications: Sampling and real-time testing of air/water samples for biochemical toxins Sulfate detection in atmospheric particles, for detecting adverse atmospheric conditions DNA analysis Clinical diagnosis DNA, RNA, proteins, living cells employed as sensing mediators on biochips Types: Continuous-flow microfluidics Digital microfluidic

3 Challenges Advantages: Cost (sample + unit cost) Space (miniaturization) Time (parallelism) Automation Challenges: System integration and design complexity Integration with microelectronic components in future SOC Radically different design and testing methods

4 Outline Motivation Technology Overview Architecture Working principle Design tasks Problem formulation ILP-based synthesis Local branching approach Experimental evaluation Conclusions

5 Architecture & Working principle Input Reservoir Microarray of cells Output Reservoir Photodiode Cell architecture Biochip architecture Electrowetting OperationsOperations: Dispensing Transport Mixing Splitting

6 Design Tasks SCHEDULING BINDING PLACEMENT ALLOCATION

7 Reconfigurability

8 Problem Formulation Input Sequencing graph Library of modules Application execution time Area constraint Output Implementation which minimizes application execution time

9 ILP-based synthesis Constraints: Scheduling and precedence Resource Placement Optimization objective: Minimize the completion time of the application

10 Constraints Scheduling and precedence constraints Each operation - scheduled only once An operation should be scheduled only after the completion of all its predecesors in the sequencing graph If not scheduled immediately then a storage unit must be considered Resource constraints Two operations bound to the same resource should not execute at the same time Placement constraints At each moment the area of the modules placed on the chip should not exceed the total area of the array Modules placed on the chip should not physically overlap

11 Local Branching Approach (LB) Hypothesis: considering placement during architectural synthesis leads to better results Approaches: Straight-forward approach (SF): architectural synthesis considered separately from placement Optimal synthesis approach (OS): consider placement during architectural synthesis Local branching approach (LB): Motivation: ILP not suitable for large applications Cause: time used to produce a provable optimal solution Need: good quality solutions in a reasonable time Solution: local branching Meta-heuristic that controls the behavior of the ILP solver

12 Experimental evaluation 1.In-vitro diagnosis on human physiological fluids Glucose and lactate measurements performed for each physiological fluid Used in diagnosis of metabolic disorders 2.Polymerase chain reaction (PCR) Mixing stage Mi x1 Mi x2 Mi x5 Mi x3 Mi x4 Mi x6 Mi x7 Technique used in molecular biology for DNA replication in a cell DNA polymerase used to amplify a piece of DNA Chain reaction: DNA generated is used as template for replication

13 Experimental evaluation GAMS 21.5, CPLEX SunFire v440 4 UltraSPARC IIIi CPUs 1,062MHz and 8 GB RAM Results Observations: A 18.2% average improvement on the completion time considering placement at the same time with architectural-level synthesis Significant improvement for reduced biochip area 5.3% loss of quality vs. reasonable time for solving a large problem

14 Conclusions Addressed design problems characteristics to digital microfluidic biochips Proposed an ILP framework for the unified allocation, binding, scheduling and placement We have shown that considering placement during architectural synthesis leads to significantly better quality solutions