design and verification tools for continuous fluid flow- based microfluidic devices jeffrey...
TRANSCRIPT
![Page 1: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/1.jpg)
Design and Verification Tools for Continuous Fluid Flow-based Microfluidic Devices
Jeffrey McDaniel, Auralila Baez,
Brian Crites, Aditya Tammewar,
Philip Brisk
University of California, Riverside
Asia and South Pacific Design Automation Conference
Yokohama, Japan, January 23, 2013
![Page 2: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/2.jpg)
2
The Future Of Chemistry
Microfluidics
Miniaturization + Automation
![Page 3: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/3.jpg)
3
Applications
Biochemical assays and immunoassaysClinical pathology
Drug discovery and testingRapid assay prototyping
Testing new drugs (via lung-on-a-chip)
Biochemical terror and hazard detection
DNA extraction & sequencing
![Page 4: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/4.jpg)
4
Design of Continuous Fluid-flow LoCs
AutoCADDraw each layer of the chip manually
Akin to transistor-level design of ICs with manual wire routing
Limited AutomationMulti-layer soft lithography
[Amin et al., ICCD 2009]
[Mihass et al. CASES 2011 & 2012]
Capillary dielectrophoresis[Pfeiffer et al. TCAD 2006]
[Hsieh and Ho, VLSI Design 2011]
This session at ASPDAC 2013
![Page 5: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/5.jpg)
5
918 micromechanical valves
Multiplexer allows control of micromechanical valves by 21 external solenoid valves
Design and physical layout took approximately 1 year of postdoc time (personal communication)
EPFL Programmable Fluidic Device
[Fidalgo and Maerkl, Lab-on-a-Chip 2010]
![Page 6: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/6.jpg)
6
Semiconductor Industry Design Principles
Hardware Design Languages
VHDL
Verilog / SystemVerilog
SystemC
VerificationUser specifies behavioral properties to verify
Synthesis and Physical LayoutSynopsys, Cadence, Magma, etc.
Mostly automated, but also support user interaction
![Page 7: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/7.jpg)
7
A typical LoC consists of
A collection of “components”
Fluidic interconnect between components
“Netlist”-like representation
Key Observation!
[Amin et al., ISCA 2007]
![Page 8: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/8.jpg)
8
Microfluidic Hardware Design Language (MHDL)Functional Verification, Performance Simulation
Our Contributions
![Page 9: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/9.jpg)
9
MHDL Syntax Diagram
One entity per component;entities may have optional external control
List the components in the LoC
Specify connections between components
![Page 10: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/10.jpg)
10
Engineers will continually invent new componentsExtensible component libraries are necessary
Technological (in)compatibility between componentsMust be part of component/library specification
MHDL Design Challenges
[Melin and Quake, Annu. Rev. Biophys. Biomol. Struct. 2007]
![Page 11: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/11.jpg)
11
Mixer3 valves + input/output control
MemoryMultiplexer, Demultiplexer
Components, Sub-components
[Urbanski et al., Lab-on-a-Chip 2006]
![Page 12: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/12.jpg)
12
Design Flow (Revisited)
![Page 13: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/13.jpg)
13
The control inputs to the components that compose an LoC form a machine language
Electrical control: inputs are Boolean
Solenoid (pressure) control: inputs are real-valued
Machine and Assembly Languages
[Hong et al., J. Physics: Condensed Matter, 2006]
[Unger et al., Science 2000]
![Page 14: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/14.jpg)
A vector of control values is like a machine language instruction
A sequence of vectors forms a machine language program
14
Machine and Assembly Languages
[Jensen et al., Lab-on-a-Chip 2010]
![Page 15: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/15.jpg)
15
Automatically derive human-readable assembly language from the netlist/machine language
Turn each component on/off (etc.)
Fluid transfers
Machine and Assembly Languages
[McCaskill and Wagler, FPL 2000]
Generalizes the
notion of a fluidic
instruction set
like AquaCore
[Amin et al., ISCA 2007]
![Page 16: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/16.jpg)
16
Design Flow (Revisited)
![Page 17: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/17.jpg)
17
Device-Specific Assembler
InputsNetlist representation of an LoC
Assembly language assay specification
Functional verificationCan the netlist execute the assay?
Is there a component to execute each operation?
Are all required fluid transfers possible?
Output: Device Control ProgramSequence of control vectors to execute the assay
![Page 18: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/18.jpg)
18
Simulation
Performance Evaluation (Latency)Assay specification (e.g., MIX for 30s)
Fluid transfer overhead
Hagen-Poisseuile Equation: T = V/QV: Volume of fluid to transfer
Q: Volumetric flow rate
Volumetric Flow Rate: Q = ΔPπd4 / 128μLΔP: Pressure drop
μ: Fluid viscosity
d: Channel diameter – not known until after physical layout
L: Channel length – not known until after physical layout
Absent layout information, the user can specify d and L
![Page 19: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/19.jpg)
19
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]
![Page 20: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/20.jpg)
20
Example: Influenza Detection
[Pal et al., Lab-on-a-Chip 2005]
![Page 21: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/21.jpg)
21
Example: Influenza Detection
[Pal et al., Lab-on-a-Chip 2005]
![Page 22: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/22.jpg)
22
Example: Influenza Detection
[Pal et al., Lab-on-a-Chip 2005]
![Page 23: Design and Verification Tools for Continuous Fluid Flow- based Microfluidic Devices Jeffrey McDaniel, Auralila Baez, Brian Crites, Aditya Tammewar, Philip](https://reader035.vdocuments.us/reader035/viewer/2022062800/56649e0c5503460f94af4f6a/html5/thumbnails/23.jpg)
23
Conclusion and Future Work
Continuous Fluid Flow LoC SpecificationTechnology-independent MHDL language
Verification and simulation framework
Machine Language LoC InterfaceAutomatically derive human-readable assembly
Human specifies assay in assembly
Future WorkCompile high-level language to assembly
Physical design flow(s)