A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
Blooper |
        |
A |
A' |
B |
B' |
        |
A |
A' |
B |
B' |
        |
Input |
Synthesized |
        |
Input |
Synthesized |
        |
Blooper |
        |
        |
        |
: | ||
|
|
: | ||
|
|
|
        |
A |
A' |
||
B |
B' |
Map |
|
B |
B' With Coherence (kappa=5) |
Map |
|
B |
B' With Coherence (kappa=1) |
Map |
|
        |
Single-level |
Multi-level |
        |
A |
A' |
|
B |
B' |
Map |
        |
A |
A' |
|
B |
B' |
Map |
        |
        |
        |
A |
A' |
B |
B' |
        |