Hardware Reference
In-Depth Information
Tabl e 3. 1
Dictionary entries corresponding to single error occurred
during the execution of bioassay
Errors
Synthesis result
State 0:
Error-free
case
Operation
ts
(s)
te
(s)
Resource
Location
Mix 1
6
12
2 3 Mixer
(6, 2)
Mix 2
0
6
3
2 Mixer
(5, 2)
Mix 3
0
10
2
2 Mixer
(2, 6)
Mix 4
12
15
2
4 Mixer
(6, 4)
Mix 5
15
18
2 4 Mixer
(6, 4)
State 1:
Error
in Mix 1
Operation
ts
(s)
te
(s)
Resource
Location
Re-Mix 1
12
15
2
4 Mixer
(2, 2)
Mix 4
15
18
2
4 Mixer
(2, 2)
Mix 5
18
21
2
4 Mixer
(2, 2)
State 2:
Error
in Mix 2
Operation
ts
(s)
te
(s)
Resource
Location
Mix 1
6
12
2 3 Mixer
(6, 2)
Re-Mix 2
6
12
3
2 Mixer
(2, 2)
Mix 3
6
10
2
2 Mixer
(2, 6)
Mix 4
12
15
2
4 Mixer
(6, 4)
Mix 5
15
18
2 4 Mixer
(6, 4)
State 3:
Error
in Mix 3
Operation
ts
(s)
te
(s)
Resource
Location
Mix 1
10
12
2
3 Mixer
(6, 2)
Re-Mix 3
10
20
2
2 Mixer
(2, 2)
Mix 4
12
15
2
4 Mixer
(6, 4)
Mix 5
20
23
2 4 Mixer
(6, 4)
State 4:
Error
in Mix 4
Operation
ts
(s)
te
(s)
Resource
Location
Re-Mix 4
15
18
2
4 Mixer
(2, 2)
Mix 5
18
21
2
4 Mixer
(2, 2)
State 5:
Error
in Mix 5
Operation
ts
(s)
te
(s)
Resource
Location
4 Mixer (2, 4)
These operations can be interrupted as part of error recovery
Re-Mix 5
18
21
2
the mixer. For example, the upper left corner of the mixing module M
1
is in the
6th row and 2nd column; it includes an electrode array with 2 rows and 3 columns.
Thus the mixer is described as a 2
3 mixer at location (6, 2).
In addition, most of the bioassay benchmarks in the literature require that all
the input and output droplets for the mixing/dilution operations are droplets with
unit volume [
22
,
23
]. Hence at the end of each mixing/dilution operation, the
mixed droplet with twice the unit volume must be split into two unit droplets. For
each mixing/dilution module, a set of electrodes will be randomly selected as the
“splitter” to split the mixed droplet. The splitter can be placed in an arbitrarily-
chosen place inside the mixing/dilution module. Therefore, for two operations, even
when their corresponding modules are overlapped with each other (e.g., operations
Mix4andMix5showninFig.
2.9
), their corresponding splitters may contain
different sets of electrodes.