Verilog Assignment:

Write and verify the HDL behavioral and structural descriptions of a sequential circuit with two D flip-flops A and B, two inputs x and y, and one output z is specified by the following next-state and output equations:

A(t+1)=xy+xB

B(t+1)=xA+xB

z=A

Show:

The State Table

The State Machine

In the output, show the state changes on the triggers x and y.