C-Element
Based Implementation
CE-653 - STG-based Logic
Synthesis - Petrify
41
}Correctness
Conditions:
}S (set) and R (reset)
must be mutually
exclusive
} S must cover ER(z+) and must not intersect
ER(z-) U QR(z-)
} R must cover ER(z-) and must not intersect
ER(z+) U QR(z+)
C
R
S
z
• • • ® S+ ® z+ ® S- ® R+ ® z- ® R- ® • • •