We want to design a reactive component with three Boolean input variables x, y, and reset, and a Boolean output variable z. The desired behavior is the following: The component waits until it has encountered a round in which the input variable x is high and a round in which the input variable y is high, and as soon as both of these have been encountered, it sets the output z to high. It repeats the behavior when, in a subsequent round, the input variable reset is high. By default, the output z is low. For instance, if x is high in rounds 2, 3, 7, 12, y is high in rounds 5, 6, 10, and reset is high in round 9, then z should be high in rounds 5 and 12. a) Design a synchronous reactive component (SRC) that captures this behavior. You must use the extended-state machine notation. b) For the inputs of x to be high in rounds 4, 6, 12, 13, 17, 19, y to be high in rounds 1, 3, 5, 8, 11, 18, and reset to be high in rounds 7, 10, and 15, draw the execution of the SRC for 20 rounds