(Solved): [40 pts] Consider the traffic light controller FSM from the book and lecture notes (shown below fo ...

[40 pts] Consider the traffic light controller FSM from the book and lecture notes (shown below for your convenience). Suppose each 3-input gate has a delay of $$20?50\mathrm{ps}$$ (i.e., tcd = $$20\mathrm{ps}$$ and $$\mathrm{tpd}=50\mathrm{ps}$$ ). Each 2-input gate has a delay of $$10?40\mathrm{ps}$$. The flip-flops have the following timing characteristics: tpcq $$=25\mathrm{ps},\mathrm{tccq}=15\mathrm{ps}$$, tsetup $$=30\mathrm{ps}$$, thold $$=17\mathrm{ps}$$. What is the fastest frequency at which this circuit could run reliably? Show all of your work.