(a) Figure 4 shows a finite state machine for a simple branch predictor for the purpose of an assembly language programming. (i) Does the above finite state machine correspond to a Mealy machine or a Moore machine? State your reason. [2 marks] CLO2/PO3/C3 (ii) Write behavioral Verilog code that implements the state machine. Your code should use a single behavior for the state register, next-state logic, and output logic. Use the signal or register names and state assignments given on the above graph. [8 marks] CLO2/PO3/C3 reset 00 taken-0 taken 1 predict 01 predict =1 = 1 taken 1 taken=0 taken = 1 11 taken = 1 10 predict predict taken = 0 =0 taken=0 =0 Figure 4