Automatic Synthesis of Microfluidic Large Scale Integration Chips from a Domain-Specific Language Jeffrey McDaniel, Christopher Curtis, Philip Brisk University.

Slides:



Advertisements
Similar presentations
Force-Directed List Scheduling for DMFBs Kenneth ONeal, Dan Grissom, Philip Brisk Department of Computer Science and Engineering Bourns College of Engineering.
Advertisements

FPGA (Field Programmable Gate Array)
A Field-Programmable Pin-Constrained Digital Microfluidic Biochip Dan Grissom and Philip Brisk University of California, Riverside Design Automation Conference.
Architectural Improvement for Field Programmable Counter Array: Enabling Efficient Synthesis of Fast Compressor Trees on FPGA Alessandro Cevrero 1,2 Panagiotis.
Presenter: PCLee – This paper outlines the MBAC tool for the generation of assertion checkers in hardware. We begin with a high-level presentation.
Lab-on-a-chip Devices for Cell Separation and Identification A PhD project at Macquarie University under the guidance of Dr. David Inglis and Prof. Ewa.
MONOLITHIC 3-D MICROFLUIDIC DEVICE FOR CELL ASSAY WITH AN INTEGRATED COMBINATORIAL MIXER 陳睿鈞 Mike C. Liu, Dean Ho, Yu-Chong Tai Department of Bioengineering,
Digital Signal Processing with Biomolecular Reactions Hua Jiang, Aleksandra Kharam, Marc Riedel, and Keshab Parhi Electrical and Computer Engineering University.
Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin 1, William Thies 2, Saman Amarasinghe 1 1 Massachusetts Institute.
RAPID ALCOHOL TESTING IN WHOLE BLOOD BY DISK-BASED REAL-TIME ABSORPTION MEASUREMENT J. Steigert, L. Riegger, M. Grumann, T. Brenner, J. Harter, R. Zengerle,
Monolithic Microfabricated Valves and Pumps by Multilayer Soft Lithography EECE 491C Unger et al. (Quake group, CALTECH) Science, 2000.
VLSI Layout Algorithms CSE 6404 A 46 B 65 C 11 D 56 E 23 F 8 H 37 G 19 I 12J 14 K 27 X=(AB*CD)+ (A+D)+(A(B+C)) Y = (A(B+C)+AC+ D+A(BC+D)) Dr. Md. Saidur.
Towards a platform for ambient intelligence ICT DRC AdviesRaad 12 jan 2006.
ELEN468 Lecture 11 ELEN468 Advanced Logic Design Lecture 1Introduction.
VLSI Tarik Booker. VLSI? VLSI – Very Large Scale Integration Refers to the many fields of electrical and computer engineering that deal with the analysis.
Professor: Cheng-Hsien, Liu Student: Hao-Ran, Shih ( ) Date: 2010/12/28 Philip N. Duncan, Transon V. Nguyen and Elliot E. Hui Department of Biomedical.
IGEM 101: Session 6 4/9/15Jarrod Shilts 4/11/15Ophir Ospovat.
Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark.
Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip.
April 15, Synthesis of Signal Processing on FPGA Hongtao
Using Mathematica for modeling, simulation and property checking of hardware systems Ghiath AL SAMMANE VDS group : Verification & Modeling of Digital systems.
A Field-Programmable Pin-Constrained Digital Microfluidic Biochip Dan Grissom and Philip Brisk University of California, Riverside Design Automation Conference.
UK Asynchronous Forum, September Synthesis of multiple rail phase encoding circuits Andrey Mokhov, Crescenzo D’Alessandro, Alex Yakovlev Microelectronics.
1 Rapid Estimation of Power Consumption for Hybrid FPGAs Chun Hok Ho 1, Philip Leong 2, Wayne Luk 1, Steve Wilton 3 1 Department of Computing, Imperial.
1 Global Routing Method for 2-Layer Ball Grid Array Packages Yukiko Kubo*, Atsushi Takahashi** * The University of Kitakyushu ** Tokyo Institute of Technology.
Integrated Microsystem of Isothermal Amplification of DNA and Electrophoresis on a Microfabricated Plastic Chip for Detection of Specific Gene and Analysis.
CMP 4202: VLSI System Design Lecturer: Geofrey Bakkabulindi
A Flexible DSP Block to Enhance FGPA Arithmetic Performance
CSE 494: Electronic Design Automation Lecture 2 VLSI Design, Physical Design Automation, Design Styles.
COE 405 Design and Modeling of Digital Systems
Lab-on-a-Chip Seoul National University Cell & Microbial Engineering Lab. Jung Ah Kim.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
Path Scheduling on Digital Microfluidic Biochips Dan Grissom and Philip Brisk University of California, Riverside Design Automation Conference San Francisco,
Nanofluidic Microsystems for Advanced Biosample Preparation Ying-Chih Wang 1, Jianping Fu, Yong-Ak Song and Jongyoon Han 2,3 1 Department.
Copyright 2004 Integrated Nano-Technologies little solutions for big problems Integrated Nano-Technologies.
Instrumented NanoPhysiometer for High Throughput Drug Screening D. Michael Ackermann, Jon Payne, Hilary Samples, James Wells.
ECE 2110: Introduction to Digital Systems Introduction (Contd.)
EE 466/586 VLSI Design Partha Pande School of EECS Washington State University
A Nanoliter-Scale Nucleic Acid Processor with Parallel Architecture Jong Wook Hong, Vincent Studer, Giao Hang, W French Andreson, Stephen R Quake presented.
Johnathan Fiske, *Dan Grissom, Philip Brisk
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.
A High-Level Synthesis Flow for Custom Instruction Set Extensions for Application-Specific Processors Asia and South Pacific Design Automation Conference.
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,
Synthesis of Digital Microfluidic Biochips with Reconfigurable Operation Execution Elena Maftei Technical University of Denmark DTU Informatics
Routing-Based Synthesis of Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark CASES’101Routing-Based Synthesis.
Lab-on-a-Chip The Ideal Technology for Bio-chemical Analysis
Microfluidics & The Field of Bioengineering
Bionano Analytics-Spring 2010 Course Director: Prof. Jaebum Choo Prof. Jaebum Choo Department of Bionano Engineering
1 Placement-Aware Architectural Synthesis of Digital Microfluidic Biochips using ILP Elena Maftei Institute of Informatics and Mathematical Modelling Technical.
What is PCR? : Why “Polymerase”?
omniSense: A Toolbox for Aiding Biosensor Development
Jeffrey McDaniel1, William H. Grover2 and Philip Brisk1
PCR Polymerase Chain Reaction
Architecture Synthesis for Cost Constrained Fault Tolerant Biochips
Elena Maftei Technical University of Denmark DTU Informatics
From C to Elastic Circuits
3-Valve Pumping Sequence 4-Valve Pumping Sequence
Microfluidic Platform for Single Nucleotide Polymorphism Genotyping of the Thiopurine S-Methyltransferase Gene to Evaluate Risk for Adverse Drug Events 
Microfluidic Biochips
Design Automation for Flow-based Microfluidic BioChips
HIGH LEVEL SYNTHESIS.
Figure 3 Single-cell analysis of antimicrobial susceptibility
CasE13a Schematic of the development of antibiotic resistance and how it can spread to humans.
Physical Implementation
Synthesis of multiple rail phase encoding circuits
Building a model from natural language with INDRA
Construction of sgRNA expression cassette.
Presentation transcript:

Automatic Synthesis of Microfluidic Large Scale Integration Chips from a Domain-Specific Language Jeffrey McDaniel, Christopher Curtis, Philip Brisk University of California, Riverside Biomedical Circuits and Systems Conference Rotterdam, Netherlands, November 1, 2013

2 The Future Of Chemistry Miniaturization + Automation Laboratory-on-Chip (LoC)

3 Applications Biochemical assays and immunoassays Clinical pathology Drug discovery and testing Rapid assay prototyping Testing new drugs (via lung-on-a-chip) Biochemical terror and hazard detection DNA extraction & sequencing

4 Design of Continuous Fluid-flow LoCs AutoCAD Draw each layer of the chip manually Akin to transistor-level design of ICs with manual wire routing Limited Automation Multi-layer soft lithography [Amin et al., ICCD 2009] [Minhass et al. CASES 2011 & 2012] [McDaniel et al. ASPDAC 2013] Capillary dielectrophoresis [Pfeiffer et al. TCAD 2006] [Hsieh and Ho, VLSI Design 2011]

Current input specification [Minhass et al. CASES 2012] 5 Sequencing Graphs

6

BioCoder Compiler High-Level Language for assay specification 7 Our Contributions

8 BioCoder Restricted BioCoder language

9 Example: Influenza Detection The thermocycling protocol applied to the device consists of 92 degrees C for 30s, and then 35 cycles of the following: 92 degrees C for 5s, 55 degrees C for 10s, and 72 degrees C for 20s, and finally 72 degrees C for 60s, for a total cycling time of 22 minutes. A portion of the PCR product (~60nl) is subsequently subjected to a restriction endonuclease digestion within the same device. The restriction digest reaction is performed at 37 degrees C for 10 min. [Pal et al., Lab-on-a-Chip 2005]

Example: Influenza Detection 10 [Pal et al., Lab-on-a-Chip 2005]

Example: Influenza Detection 11 [Pal et al., Lab-on-a-Chip 2005]

Example: Influenza Detection 12 Influenza Detection

Example: Influenza Detection [Pal et al., Lab-on-a-Chip 2005] 13

Example: Influenza Detection 14 [Pal et al., Lab-on-a-Chip 2005]

Example: Influenza Detection [Pal et al., Lab-on-a-Chip 2005] 15

16 Conclusion and Future Work BioCoder Compiler High-level language for assay specification Restricted BioCoder specific to LoC’s Interface to existing tool-chains Provides intuitive interface for biochemists Future Work Complete design automation tools Extend the restricted BioCoder