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

Upload: vivian-richards

Post on 12-Jan-2016

219 views

Category:

Documents


0 download

TRANSCRIPT

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