Slide 77 of 93
Notes:
This implementation adds a check for '0' to '1' transitions on clk by using the 'LAST_VALUE attribute on the signal clk.
