1 of 16 April 25, 2006 System-Level Modeling and Synthesis Techniques for Flow-Based Microfluidic Large-Scale Integration Biochips Contact: Wajid Hassan.

Slides:



Advertisements
Similar presentations
Hao wang and Jyh-Charn (Steve) Liu
Advertisements

D ARMSTADT, G ERMANY - 11/07/2013 A Framework for Effective Exploitation of Partial Reconfiguration in Dataflow Computing Riccardo Cattaneo ∗, Xinyu Niu†,
A Field-Programmable Pin-Constrained Digital Microfluidic Biochip Dan Grissom and Philip Brisk University of California, Riverside Design Automation Conference.
VSMC MIMO: A Spectral Efficient Scheme for Cooperative Relay in Cognitive Radio Networks 1.
Reconfigurable Computing S. Reda, Brown University Reconfigurable Computing (EN2911X, Fall07) Lecture 10: RC Principles: Software (3/4) Prof. Sherief Reda.
Droplet-Aware Module-Based Synthesis for Fault-Tolerant Digital Microfluidic Biochips Elena Maftei, Paul Pop, and Jan Madsen Technical University of Denmark.
Fast Paths in Concurrent Programs Wen Xu, Princeton University Sanjeev Kumar, Intel Labs. Kai Li, Princeton University.
Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin 1, William Thies 2, Saman Amarasinghe 1 1 Massachusetts Institute.
January 22, Advanced Modular Sample System Richard E. Hughes.
Applications of Systolic Array FTR, IIR filtering, and 1-D convolution. 2-D convolution and correlation. Discrete Furier transform Interpolation 1-D and.
Monolithic Microfabricated Valves and Pumps by Multilayer Soft Lithography EECE 491C Unger et al. (Quake group, CALTECH) Science, 2000.
CS244-Introduction to Embedded Systems and Ubiquitous Computing Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2010.
Courseware High-Level Synthesis an introduction Prof. Jan Madsen Informatics and Mathematical Modelling Technical University of Denmark Richard Petersens.
 Based on the resource constraints a lower bound on the iteration interval is estimated  Synthesis targeting reconfigurable logic (e.g. FPGA) faces the.
Scheduling with Optimized Communication for Time-Triggered Embedded Systems Slide 1 Scheduling with Optimized Communication for Time-Triggered Embedded.
Chess Review May 10, 2004 Berkeley, CA Platform-based Design for Mixed Analog-Digital Designs Fernando De Bernardinis, Yanmei Li, Alberto Sangiovanni-Vincentelli.
Lab for Reliable Computing Generalized Latency-Insensitive Systems for Single-Clock and Multi-Clock Architectures Singh, M.; Theobald, M.; Design, Automation.
Lecture Nine Database Planning, Design, and Administration
A Scheduling and Routing Algorithm for DMFS Ring Layouts with Bus-phase Addressing Megha Gupta Srinivas Akella.
Chapter 10: Architectural Design
Torino (Italy) – June 25th, 2013 Ant Colony Optimization for Mapping, Scheduling and Placing in Reconfigurable Systems Christian Pilato Fabrizio Ferrandi,
SMUCSE 8344 Constraint-Based Routing in MPLS. SMUCSE 8344 Constraint Based Routing (CBR) What is CBR –Each link a collection of attributes (performance,
DEPARTMENT OF NANOTECHNOLOGY
Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark.
1 Presenter: Ming-Shiun Yang Sah, A., Balakrishnan, M., Panda, P.R. Design, Automation & Test in Europe Conference & Exhibition, DATE ‘09. A Generic.
Presenter : Cheng-Ta Wu Vijay D’silva, S. Ramesh Indian Institute of Technology Bombay Arcot Sowmya University of New South Wales, Sydney.
Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip.
Database System Development Lifecycle © Pearson Education Limited 1995, 2005.
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
ECE 526 – Network Processing Systems Design Network Processor Architecture and Scalability Chapter 13,14: D. E. Comer.
Recent Research and Emerging Challenges in the System-Level Design of Digital Microfluidic Biochips Paul Pop, Elena Maftei, Jan Madsen Technical University.
EENG 1920 Chapter 1 The Engineering Design Process 1.
INT-Evry (Masters IT– Soft Eng)IntegrationTesting.1 (OO) Integration Testing What: Integration testing is a phase of software testing in which.
Chapter 10 Information Systems Analysis and Design
1 Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation Orna Grumberg Technion Haifa, Israel Joint work with Rachel Tzoref.
CSE 494: Electronic Design Automation Lecture 2 VLSI Design, Physical Design Automation, Design Styles.
Feedback Control for the Programmable Cell Culture Chip “ProCell” Felician Ștefan Blaga Supervisor: Paul Pop (DTU Informatics) Co-supervisors: Wajid Minhass.
Programmable Microfluidics William Thies*, J.P. Urbanski †, Mats Cooper †, David Wentzlaff*, Todd Thorsen †, and Saman Amarasinghe * * Computer Science.
1 Towards Optimal Custom Instruction Processors Wayne Luk Kubilay Atasu, Rob Dimond and Oskar Mencer Department of Computing Imperial College London HOT.
A Graph Based Algorithm for Data Path Optimization in Custom Processors J. Trajkovic, M. Reshadi, B. Gorjiara, D. Gajski Center for Embedded Computer Systems.
ILP-Based Pin-Count Aware Design Methodology for Microfluidic Biochips Chiung-Yu Lin and Yao-Wen Chang Department of EE, NTU DAC 2009.
1. CAD Challenges for Leading-Edge Multimedia Designs Ira Chayut, Verification Architect (opinions are my own and do not necessarily represent the opinion.
CS244-Introduction to Embedded Systems and Ubiquitous Computing Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2010.
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.
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
MILAN: Technical Overview October 2, 2002 Akos Ledeczi MILAN Workshop Institute for Software Integrated.
Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.
Computing and SE II Chapter 9: Design Methods and Design Models Er-Yu Ding Software Institute, NJU.
6. A PPLICATION MAPPING 6.3 HW/SW partitioning 6.4 Mapping to heterogeneous multi-processors 1 6. Application mapping (part 2)
Fast Online Synthesis of Generally Programmable Digital Microfluidic Biochips Dan Grissom and Philip Brisk University of California, Riverside CODES+ISSS.
Wajid Minhass, Paul Pop, Jan Madsen Technical University of Denmark
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
Linear Analysis and Optimization of Stream Programs Masterworks Presentation Andrew A. Lamb 4/30/2003 Professor Saman Amarasinghe MIT Laboratory for Computer.
Test complexity of TED operations Use canonical property of TED for - Software Verification - Algorithm Equivalence check - High Level Synthesis M ac iej.
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.
Resource Optimization for Publisher/Subscriber-based Avionics Systems Institute for Software Integrated Systems Vanderbilt University Nashville, Tennessee.
Distributed Sequencing for Resource Sharing in Multi-Applicative Heterogeneous NoC Platforms 林鼎原 Department of Electrical Engineering National Cheng Kung.
Synthesis of Biochemical Applications on Digital Microfluidic Biochips with Operation Variability Mirela Alistar, Elena Maftei, Paul Pop, Jan Madsen.
1 Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP Elena Maftei Institute of Informatics and Mathematical Modelling Technical.
Parallel Programming By J. H. Wang May 2, 2017.
Course Summary Organization: A process providing goods and services based on a set of inputs, including raw material, capital, labor and knowledge. The.
Architecture Synthesis for Cost Constrained Fault Tolerant Biochips
Elena Maftei Technical University of Denmark DTU Informatics
Fault-Tolerant Architecture Design for Flow-Based Biochips
Microfluidic Biochips
HIGH LEVEL SYNTHESIS.
Presented By: Darlene Banta
Reconfigurable Computing (EN2911X, Fall07)
Presentation transcript:

1 of 16 April 25, 2006 System-Level Modeling and Synthesis Techniques for Flow-Based Microfluidic Large-Scale Integration Biochips Contact: Wajid Hassan Minhass Technical University of Denmark Wajid Hassan MinhassAdvisors: Paul Pop, Jan Madsen The proposed framework is targeted at facilitating programmability and automation. It is expected to enable designers to auto-generate chip architecture and to take early design decisions by being able to evaluate their own proposed architecture, minimizing the design cycle time. Biochips are replacing conventional biochemical analyzers and are able to integrate on-chip the necessary functionalities for biochemical analysis using microfluidics. In Flow-based biochips, liquid samples of discrete volume flow in the on-chip channel circuitry. The biochip has two layers (fabricated using soft lithography): flow layer and control layer. The liquid samples are in the flow layer and are manipulated through microvalves in control layer. By combining these microvalves, more complex units like mixers, micropumps etc. can be built with hundreds of units being accommodated on a single chip. This approach is called microfluidic Large- Scale Integration (mLSI). Microfluidic Biochips Microvalve Biochip: Functional View Architectural Synthesis: ( Allocation, Placement and Routing) Application Mapping: ( Binding, Scheduling and Fluid Routing) Starting from a given microfluidic component library and a desired application, our synthesis approach automatically synthesizes the biochip architecture aiming to minimize the application completion time. Currently, biochip designers are using full-custom and bottom-up methodologies involving multiple manual steps for designing chips and executing experiments. With chip design complexity on the rise (technology scaling at rapid speed) and multiple assays being run concurrently on a single chip (commercial chip with 25,000 valves and about a million features running 9,216 polymerase chain reactions in parallel), bottom- up manual methodologies are fast becoming inadequate and would not scale for larger, more complex designs. Objective: Devise a system-level modeling and synthesis framework for flow-based biochips capable of handling larger, more complex designs. List Scheduling-based binding and scheduling heuristic utilized (we have also proposed a constraint programming based approach for finding the optimal solution). Since routing latencies are comparable to operation execution times, thus fluid routing (contention aware edge scheduling) is also taken into account (boxes with labels Fx in figure below) along with the operation scheduling (boxes with labels Ox). As an output, we generate the control sequence for a biochip controller for auto executing the application on the specified biochip. Detector Mixer Filter In 3 In 4 In 2 In 1 Out 3 Out 2 Out 1 Source Sink Mix (4) Mix (5) Heat (3) Mix (4) Mix (3) Heat (2) Filter (5) Mix (2) O1 O2 O3 O5 O4 O6 O7 O8 O9 O10 Waste Input Motivation and Objective Contribution Application Model System Model Microfluidic Mixer Application Model: Directed sequencing graph. Architecture Model: We have proposed a topology graph-based approach. We propose a system-level top-down modeling and synthesis framework in order to synthesize the biochip architecture based on an application and to map the application onto the architecture while minimizing the application completion time and satisfying the constraints (e.g., resource, dependency). Architectural Synthesis In 1 In 2 In 3 In 4 Biochip: Schematic View z2z2 z3z3 z4z4 z5z5 z7z7 z8z8 z 11 Out 2 Out 3 Out 1 v1v1 v2v2 v3v3 v4v4 v6v6 v5v5 Detector Filter z 10 z 12 Mixer z9z9 z 13 z1z1 z6z6 v7v7 a Pressure source z 1 Control layer Flow layer Valve v a Fludic input Mixer 1 Mixer 2 Mixer 3 Heater 1 Filter 1 0 s 16 s 23.5 s42.5 s56 s O1 O3 O4 O2 O6 O7 O5 O8 O9 O10 F1 F4 F2F5 F14 F10F9 F3F6 F25-1 F19 F3F6 F15F14 F19 F23