54
Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark DTU Informatics www.dreamstime.com

Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

  • Upload
    kail

  • View
    45

  • Download
    0

Embed Size (px)

DESCRIPTION

Elena Maftei, Paul Pop, Jan Madsen Technical University of Denmark DTU Informatics. Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips. www.dreamstime.com. Digital Microfluidic Biochip. Biochip created at Duke University. Microfluidic Biochips. - PowerPoint PPT Presentation

Citation preview

Page 1: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital

Microfluidic Biochips

Elena Maftei, Paul Pop, Jan MadsenTechnical University of Denmark

DTU Informatics

www.dreamstime.com

Page 2: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Digital Microfluidic Biochip

Biochip created at Duke University

Page 3: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Microfluidic Biochips

•Applications– Sampling and real time testing of air/water for

biochemical toxins– Detection of adverse atmospheric conditions– DNA analysis and sequencing– Clinical diagnosis – Point of care devices

•Types:– Continuous flow microfluidic biochips– Digital microfluidic biochips

Page 4: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

413/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Microfluidic Biochips

•Advantages:– High throughput (reduced sample / reagent consumption)– Space (miniaturization)– Time (parallelism)– Automation (minimal human intervention)

•Challenges:– Design complexity– Radically different design and test methods required

Page 5: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

513/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Outline

•Motivation•Architecture•Typical Design Tasks•Problem Formulation•Proposed Solution

Tabu Search-Based Synthesis Dynamic Placement Algorithm

•Experimental Evaluation•Conclusions

Page 6: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

613/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Architecture and Working Principles

Biochip architecture Cell architecture

• Electrowetting-on-dielectric• Operations:

Dispensing Transport Mixing Splitting Storage

Page 7: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

713/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Architecture and Working Principles

Biochip architecture Cell architecture

• Electrowetting-on-dielectric• Operations:

Dispensing Transport Mixing Splitting Storage

Page 8: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

813/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Architecture and Working Principles

Biochip architecture Cell architecture

• Electrowetting-on-dielectric• Operations:

Dispensing Transport Mixing Splitting Storage

Page 9: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

913/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Design Tasks

Operation Area(cells) Time(s)Mixing

Mixing

Dilution

Dilution

2x2

1x3

1x3

2x5

10

5

8

3

Page 10: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

1013/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Design TasksAllocation

Operation Area(cells) Time(s)Mixing

Mixing

Dilution

Dilution

2x2

1x3

1x3

2x5

10

5

8

3

Page 11: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

1113/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Design Tasks

Binding & Scheduling

AllocationOperation Area(cells) Time(s)Mixing

Mixing

Dilution

Dilution

2x2

1x3

1x3

2x5

10

5

8

3

Page 12: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

1213/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Design Tasks

Binding & Scheduling Placement & Routing

AllocationOperation Area(cells) Time(s)Mixing

Mixing

Dilution

Dilution

2x2

1x3

1x3

2x5

10

5

8

3

Page 13: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

1313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 14: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 15: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 16: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 17: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 18: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

1813/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 19: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 20: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2013/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 21: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 22: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2213/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 23: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 24: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2413/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 25: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2513/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 26: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2613/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 27: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2713/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 28: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2813/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 29: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

2913/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 30: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3013/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 31: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3113/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 32: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3213/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 33: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 34: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3413/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 35: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3513/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Constraint on the overhead brought by droplet routing.

Page 36: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3613/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 37: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3713/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 38: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3813/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Page 39: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

3913/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Reconfigurability

Without dynamic reconfiguration: t+18

Page 40: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4013/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Problem Formulation

•Input– Sequencing graph– Library of modules– Area constraint

•Output– Implementation which minimizes application execution time

• Allocation of modules from modules library• Binding of modules to operations in sequencing graph• Scheduling of operations• Placement of modules on the array

Page 41: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4113/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Related Work

• F. Su and K. Chakrabarty. 2005. Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips. In Proceedings of Design Automation Conference. 825-830.

• P.-H. Yuh, C.-L. Yang and Y.-W. Chang. 2007. Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation. ACM Journal on Emerging Technologies in Computing Systems 3(3).

Page 42: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4213/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Related Work

• F. Su and K. Chakrabarty. 2005. Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips. In Proceedings of Design Automation Conference. 825-830.

• P.-H. Yuh, C.-L. Yang and Y.-W. Chang. 2007. Placement of defect-tolerant digital microfluidic biochips using the T-tree formulation. ACM Journal on Emerging Technologies in Computing Systems 3(3).

These works consider fixed modules for all operations.

Page 43: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Optimisation Strategy

•Design Optimisation:– Allocation of modules from the library– Binding of modules to operations– Priorities of operations

– Schedule of the operations Placement of modules is performed inside scheduling

– Placement of the modules Algorithm proposed for DR-FPGAs

Free space manager that divides the free space into rectangles Search engine that selects the best empty rectangle We have modified MER in order to minimise the fragmentation of

free space on the chip

Tabu Search

List Scheduling

MER (Maximal Empty Rectangles)

Page 44: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Page 45: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4513/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Dynamic Placement Algorithm

Page 46: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4613/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Dynamic Placement Algorithm

Page 47: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4713/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Dynamic Placement Algorithm

Page 48: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

4813/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Dynamic Placement Algorithm

Page 49: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

13/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Experimental Evaluation

TS Algorithm implemented in Java 3 set of tests

1. Quality of the proposed algorithm Comparison with an Integer Linear Programming (ILP)

approach

2. Improvement brought by dynamic reconfiguration Comparison between complete TS algorithm and the same

algorithm without considering dynamic reconfiguration

3. Comparison with the approach proposed by Yuh et al.

Page 50: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

5013/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Experimental ResultsQuality of the solution: comparison with an ILP

Implementation

PCR In Vitro Diagnosis

10x10 10x9 8x10 11x11 11x9 9x10

0

10

20

30

40

50

60

70

80

90

ILP TS w/o reconf.

Area (cellsxcells)Ex

ec.

tim

e f

or

the

alg

ori

thm

(m

in)

Page 51: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

5113/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

13x13 12x12 11x120

50

100

150

200

250

300

TS TS w/o reconf.

Area (cellsxcells)

Avg.

sch

edul

e le

ngth

(s)Experimental Results

Improvement brought by dynamic reconfiguration in schedule length

60min10min1minColorimetric protein assay

Page 52: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

5213/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

9x9 10x9 10x10 9x9

0

50

100

150

200

250

300

TS w/o reconf. Yuh's algorithm

Area (cellsxcells)

Sch

ed

ule

len

gth

(s)

Experimental Results Comparison with Yuh et al.

Colorimetric protein assay

Page 53: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

5313/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

Conclusions

Addressed design problems characteristic to digital microfluidic biochips.

Proposed a Tabu Search-based method for the unified allocation, binding, scheduling and dynamic placement.

Shown that by taking advantage of the reconfigurability of digital microfluidic biochips during the execution of operations leads to improvements.

Page 54: Tabu Search-Based Synthesis of Dynamically Reconfigurable Digital Microfluidic Biochips

5413/10/2009 Tabu Search-Based Synthesis of Dynamically Reconfigurable DMBs

…and answers