Write the RTL

You are designing a machine that accepts an input n, and produces an output p. The interface for the machine is shown below. The algorithm follows. loopforever z=0 x=n while not (x 0) do