D0(y) <- ((PM(y) & HP(y-1)) + HP(y-1)) ^ HP(y-1) | PM(y) | HN(y-1)
VP(y) <- HN(y-1)''' | ~(D0(y) | HP(y-1))
VN(y) <- D0(y) & HP(y-1)
HP(y) <- (VN(y) << 1) | ~(D0(y) | ((VP(y) << 1) | 1))
HN(y) <- D0(y) & ((VP(y) << 1) | 1)
省略!
シフトが出てくるのは、 x-1 の値を x に反映させるため