computer-aided design for microfluidic chips based on ...€¦ · computer-aided design for...

39
Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin 1 , William Thies 2 , Saman Amarasinghe 1 1 Massachusetts Institute of Technology 2 Microsoft Research India C f C International Conference on Computer Design October 5, 2009

Upload: others

Post on 20-Aug-2020

9 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Computer-Aided Design for MicrofluidicgChips Based on Multilayer Soft Lithography

Nada Amin1, William Thies2, Saman Amarasinghe1

1 Massachusetts Institute of Technologygy2 Microsoft Research India

C f CInternational Conference on Computer Design

October 5, 2009

Page 2: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Microfluidic Chips• Idea: a whole biology lab on a single chip

– Input/outputInput/output– Sensors: pH, glucose,

temperature, etc.– Actuators: mixing, PCR,

electrophoresis, cell lysis, etc.

B fit• Benefits:– Small sample volumes

High throughput– High throughput– Low-cost

• Applications:1 mm 10x real-time

• Applications:– Biochemistry - Cell biology– Biological computingBiological computing

Page 3: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Moore’s Law of Microfluidics:V l D it D bl E 4 M thValve Density Doubles Every 4 Months

Source: Fluidigm Corporation (http://www.fluidigm.com/images/mlaw_lg.jpg)

Page 4: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Moore’s Law of Microfluidics:V l D it D bl E 4 M thValve Density Doubles Every 4 Months

Source: Fluidigm Corporation (http://www.fluidigm.com/didIFC.htm)

Page 5: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Current Practice: Manage Gate-Level D t il f D i t O tiDetails from Design to Operation

• For every change in the experiment or the chip design:• For every change in the experiment or the chip design:

fabricatechip

1. Manually draw in AutoCAD 2. Operate each gate from LabView

Page 6: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Abstraction Layers for Microfluidics

C

Silicon AnalogProtocol Description Language Cp g g- architecture-independent protocol description

x86Fluidic Instruction Set Architecture (ISA)- primitives for I/O, storage, transport, mixing

P ti IIIPentium III,Pentium IV

hi 1 hi 2 hi 3

transistorsFluidic Hardware Primitives

chip 1 chip 2 chip 3

transistors,registers, …

Fluidic Hardware Primitives- valves, multiplexers, mixers, latches

Page 7: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Abstraction Layers for Microfluidics

Protocol Description Language BioStream Language

Contributionsp g g

- architecture-independent protocol descriptionBioStream Language

[IWBDA 2009]

Fluidic Instruction Set Architecture (ISA)- primitives for I/O, storage, transport, mixing

Optimized Compilation[Natural Computing 2007]

Demonstrate Portability[DNA 2006]

hi 1 hi 2 hi 3

Micado AutoCAD Plugin[MIT 2008, ICCD 2009]

Fluidic Hardware Primitives

chip 1 chip 2 chip 3 [MIT 2008, ICCD 2009]

Digital Sample Control Fluidic Hardware Primitives- valves, multiplexers, mixers, latches

Using Soft Lithography[Lab on a Chip ‘06]

Page 8: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Droplets vs. Continuous Flow• Digital manipulation of droplets

on an electrode arrayon an electrode array [Chakrabarty, Fair, Gascoyne, Kim, …]

• Pro:– Reconfigurable routing– Electrical control

M i i CAD i

• Continuous flow of fluids (or

– More traction in CAD communitySource: Chakrabarty et al, Duke University

• Continuous flow of fluids (or droplets) through fixed channels[Whitesides, Quake, Thorsen, …]

• Pro:– Smaller sample sizesp– Made-to-order availability [Stanford]– More traction in biology community

Page 9: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Primitive 1: A Valve (Quake et al.)

Control Layer

pressurizedcontrol port

Flow Layer

Page 10: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Primitive 2: A Multiplexer (Thorsen et al.)

Bit 2 Bit 1 Bit 00 1 0 1 0 1

flow layercontrol layer0 1 0 1 0 1

Output 7

Output 6

control layer

Input

Output 6

Output 5

Output 4p

Output 3

Output 2

Output 0

Output 1

Example: select 3 = 011

Page 11: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Primitive 2: A Multiplexer (Thorsen et al.)

Bit 2 Bit 1 Bit 00 1 0 1 0 1

flow layercontrol layer0 1 0 1 0 1

Output 7

Output 6

control layer

Input

Output 6

Output 5

Output 4p

Output 3

Output 2

Output 0

Output 1

Example: select 3 = 011

Page 12: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Primitive 3: A Mixer (Quake et al.)

1 Load sample on bottom1. Load sample on bottom

2. Load sample on top

3. Peristaltic pumping

Rotary Mixing

Page 13: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

CAD Tools for Microfluidic Chips• Goal: automate placement, routing, control of

microfluidic featuresmicrofluidic features

• Why is this different than electronic CAD?

1. Control ports (I/O pins) are bottleneck to scalability– Pressurized control signals cannot yet be generated on-chip– Thus, each logical set of valves requires its own I/O port

2. Control signals correlated due to continuous flowsg

pipelined flow continuous flow

Demand & opportunity for minimizing control logicpipelined flow continuous flow

Page 14: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

Page 15: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA

Page 16: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA2. Infer control valves

Page 17: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA2. Infer control valves3 I f t l h i3. Infer control sharing

Page 18: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA2. Infer control valves3 I f t l h i3. Infer control sharing4. Route valves to control ports

Page 19: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA2. Infer control valves3 I f t l h i3. Infer control sharing4. Route valves to control ports5 G t i t ti GUI5. Generate an interactive GUI

Page 20: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Our Paper:A t ti G ti f C t l LAutomatic Generation of Control Layer

1. Describe Fluidic ISA2. Infer control valves3 I f t l h i3. Infer control sharing4. Route valves to control ports5 G t i t ti GUI5. Generate an interactive GUI

Page 21: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

1. Describe a Fluidic ISA• Hierarchical and composable flow declarations

P PSequential flow P1 → P2

P1 P2

FAND-flow F1 Λ F2

F1

F2

OR-flow F1 \/ F2

F1 F1

or1 2 F2 F2or

Mixing mix(F) F

Pumped flow pump(F) F

Page 22: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

1. Describe a Fluidic ISA

Page 23: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

1. Describe a Fluidic ISA

mix-and-store (S1, S2, D) {1. in1 top out2 i b t t2. in2 bot out3. mix(top bot-left

bot-right top) g p)4. wash bot-right

top bot-left store}}

50x real-time

Page 24: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

2. Infer Control Valves

Page 25: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

2. Infer Control Valves

Page 26: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Page 27: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Page 28: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Column Compatibility ProblemNP hard- NP-hard

- Reducible to graph coloring

Page 29: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Column Compatibility ProblemNP hard- NP-hard

- Reducible to graph coloring

Page 30: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Column Compatibility ProblemNP hard- NP-hard

- Reducible to graph coloring

Page 31: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

3. Infer Control Sharing

Column Compatibility ProblemNP hard- NP-hard

- Reducible to graph coloring

Page 32: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

4. Route Valves to Control Ports

• Build on recent algorithmfor simultaneous pinassignment & routing [Xiang et al 2001][Xiang et al., 2001]

• Idea: min cost - max flowfrom valves to ports

• Our contribution: extend algorithm to allow sharing• Our contribution: extend algorithm to allow sharing– Previous capacity constraint on each edge:

f + f + f + f + f + f ≤ 1– Modified capacity constraint on each edge:

f1 + f2 + f3 + f4 + f5 + f6 ≤ 1

(f f ) (f f ) f f 1Solve with linear programming, allowing sharing where beneficial

max(f1, f4) + max(f2 , f3) + f5 + f6 ≤ 1

Page 33: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

4. Route Valves to Control Ports

• Build on recent algorithmfor simultaneous pinassignment & routing [Xiang et al 2001][Xiang et al., 2001]

• Idea: min cost - max flowfrom valves to ports

• Our contribution: extend algorithm to allow sharing• Our contribution: extend algorithm to allow sharing– Previous capacity constraint on each edge:

f + f + f + f + f + f ≤ 1– Modified capacity constraint on each edge:

f1 + f2 + f3 + f4 + f5 + f6 ≤ 1

(f f ) (f f ) f f 1Solve with linear programming, allowing sharing where beneficial

max(f1, f4) + max(f2 , f3) + f5 + f6 ≤ 1

Page 34: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Micado: An AutoCAD Plugin• Implements ISA, control inference, routing, GUI export

Using slightly older algorithms– Using slightly older algorithms than presented here [Amin ‘08]

– Parameterized design rulesg– Incremental construction of chips

• Realistic use by at least 3• Realistic use by at least 3 microfluidic researchers

Freel a ailable at• Freely available at:http://groups.csail.mit.edu/cag/micado/

Page 35: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Embryonic Cell Culture

Courtesy J.P. Urbanski

Page 36: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Metabolite Detector

Courtesy J.P. Urbanski

Page 37: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Cell Culture with Waveform Generator

Courtesy David Craig

Page 38: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Open Problems• Automate the design of the flow layer

Hardware description language for microfluidics– Hardware description language for microfluidics– Define parameterized and reusable modules

R li t d k i iti d l ibl• Replicate and pack a primitive as densely as possible– How many cell cultures can you fit on a chip?

• Support additional primitives and functionality– Metering volumes– Sieve valves– Alternate mixers– Separation primitives– …

Page 39: Computer-Aided Design for Microfluidic Chips Based on ...€¦ · Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1, William Thies2, Saman

Conclusions• Microfluidics represents

a rich new playgroundp ygfor CAD researchers

• Two immediate goals:g– Enable designs to scale– Enable non-experts to

d i th i hidesign their own chips

• Micado is a first step towards these goalsCourtesy J.P. Urbanski

– Hierarchical ISA for microfluidics– Inference and minimization of control logic– Routing shared channels to control ports– Generation of an interactive GUI

http://groups.csail.mit.edu/cag/micado/