Automatic Synthesis of Microfluidic Large Scale Integration Chips from a Domain-Specific Language...

16
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

Transcript of Automatic Synthesis of Microfluidic Large Scale Integration Chips from a Domain-Specific Language...

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

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 ConferenceRotterdam, Netherlands, November 1, 2013

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

2

The Future Of Chemistry

Microfluidics

Miniaturization + Automation

Laboratory-on-Chip (LoC)

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

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: Automatic Synthesis of Microfluidic Large Scale Integration Chips from a Domain-Specific Language Jeffrey McDaniel, Christopher Curtis, Philip Brisk University.

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]

[Minhass et al. CASES 2011 & 2012]

[McDaniel et al. ASPDAC 2013]

Capillary dielectrophoresis[Pfeiffer et al. TCAD 2006]

[Hsieh and Ho, VLSI Design 2011]

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

5

Current input specification[Minhass et al. CASES 2012]

Sequencing Graphs

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

6

Sequencing Graphs

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

7

BioCoder CompilerHigh-Level Language for assay specification

Our Contributions

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

8

BioCoder

Restricted BioCoder language

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

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]

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

10

Example: Influenza Detection

[Pal et al., Lab-on-a-Chip 2005]

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

11

Example: Influenza Detection

[Pal et al., Lab-on-a-Chip 2005]

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

12

Example: Influenza DetectionInfluenza Detection

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

13

Example: Influenza Detection

[Pal et al., Lab-on-a-Chip 2005]

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

14

Example: Influenza Detection

[Pal et al., Lab-on-a-Chip 2005]

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

15

Example: Influenza Detection

[Pal et al., Lab-on-a-Chip 2005]

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

16

Conclusion and Future Work

BioCoder CompilerHigh-level language for assay specification

Restricted BioCoder specific to LoC’s

Interface to existing tool-chainsProvides intuitive interface for biochemists

Future WorkComplete design automation tools

Extend the restricted BioCoder