Consider a system with three input signals:

ref, a square wave with a period of $1$ microsecond ${?}^{(1)},$ and

two natural numbers $a,$ and $b$

The system generates a square wave, $f,$ with period equal to $(a+b)$ microseconds, as shown in figure. Does the

following pseudocode correctly describe the control sub$-$system?

$(1)$ Variable ref$\_$positive$\_$edge takes the value TRUE when a positive edge of signal ref arrives, and FALSE

otherwise.

loop

$f1$;

for $i$ in $1$ to a loop

end loop;

wait until ref$\_$positive$\_$edge $=$ TRUE;

$f$;

for $i$ in $1$ to b loop

end loop;

wait until ref$\_$positive$\_$edge $=$ TRUE;

end loop;

SI $/$ YES

NO