Slide 65 of 93
Notes:
From [MGC94b] .
Not synthesizable because “reslt” is assigned conditionally but it is used in assigning the value of output. We need to add “reslt” to the sensitivity list to ensure that its updated value is assigned to output.
