The Final answer is: We can't determine how the circuit behaves ... So from this I understand that T_Hold and T_Setup requirements aren't
met
Not necessarily the conclusion you should make. If this circuit's behavior cannot be determined, then it may mean timing violations have happened due to -
- Either hold or setup failed.
- Both setup and hold failed.
Where input x gets updated 10ns after clock goes down,
One way you might want to look into this scenario is -
- Imagine there is another flip-flop-A sitting 'before' to launch data to the flip-flop-B in your circuit, which captures that data.
- This data was launched on the rising edge at flip-flop-A, and is supposed to be captured at flip-flop B at the next rising edge.
- The launched data from flip-flop-A then arrives at the input of OR and XOR gates after 10ns (assuming no wire delays, skews), after the clock goes down. It means effectively it passed thru a propagational delay of \$T_{pd}(in) = T_{clk}/2+10=35 \text{ ns}\$, before it reaches the input of OR and XOR gates.
So our "imaginary" circuit for timing analysis now looks like -
I guess \$T_{pd}\$ and \$T_{cd}\$ refer to Propagation and Contamination delays respectively.
Setup Analysis at flip-flop B
Consider the worst-delay path to B (with all propagation delays). By inspection, it is thru -
input delay at x \$ \rightarrow\$ XOR \$ \rightarrow\$ OR
Math for satisfying Setup:
$$T_{in}+T_{pd}(XOR)+T_{pd}(OR)+T_{setup}(B)\le T_{clk}$$
$$\implies 35+6+7+4\le 50 \text{ ns}$$
$$\implies \bbox[7px,border:1px solid red]{52\le 50 \text{ ns}} \text{ --- violated! }$$
Hence, from setup analysis itself, we can conclude that this circuit has timing violation and hence its behavior is uncertain. However let's do Hold Analysis as well.
Hold Analysis at flip-flop B
XOR's contamination delay is unknown. Okay, anyway let's consider the best-delay path to B (with all known contamination delays). By inspection, it is thru -
\$\text{clock-to-Q of B}\$ \$ \rightarrow\$ XOR \$ \rightarrow\$ OR
Math for satisfying Hold:
$$T_{cd}(clk\rightarrow Q)+T_{cd}(XOR)+T_{cd}(OR)\ge T_{hold}$$
$$\implies 5+T_{cd}(XOR)+4\ge 10 \text{ ns}$$
$$\implies \bbox[7px,border:1px solid black]{T_{cd}(XOR)\ge 1 \text{ ns}}$$
The above is true if Hold is assumed to be satisfied in the circuit (which is not mentioned in your question, nor we can conclude). If Hold is also assumed to be violated, then \$T_{cd}(XOR)\$ should be:
$$\implies \bbox[7px,border:1px solid black]{T_{cd}(XOR)< 1 \text{ ns}}$$
