1. figs B C D A B C D A A B Co S Ci A B X D C Y

2. 0xx/10
0xx/01 00 10 01
0xx/00
100/00
111/00
001/01
010/10
1xx/10
1xx/01
reset AB/GL A B
reset D
>C L
clk G
S(0)
S(1)

3. 0,x/+0,0
allOnes
1,x/+0,0
0,0/+1,0
A,count=15/counterAction, error
between
inPulse
errState
0,1/+0,0
x,x/+0,1

4. priority queue clk reset insert delete busy empty full inserting ready
key
val dp
clk reset insert delete busy empty full
inserting
ready
deleting
condition: insert=1 and tdp(3)=0 action: shift top row right
condition: delete=1 and bdp(0)=0 action: shift top row right
condition: always action: compare & swap