Slide 55 of 93
Notes:
From [MGC94b]
Note that result must appear in the process sensitivity list so that the process is retriggered when the signal assignment to it takes place, thus allowing o0 to be assigned the new value of result.
