NOT(p036)

InData WHEN (p060 = 1 AND p060[-1] = 0) InternalData[-1]

1 WHEN ((Req = 0 AND Req[-1] = 1) OR (Req = 1 AND Req[-1] = 0)) 0 OTHERWISE

InternalData = InData

1 WHEN (Release = 1 AND Release[-1] = 0) 0 OTHERWISE

p069 = 0 AND o065 = 1

NOT(p094)