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. 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