Rule: As a State Transformer

PC

RF

PR

OG

BF

current

state

PC’

RF’

PR

OG’

BF’

next

state values

d

p

enable

Proc( pc, rf, prog, bf ) where Bzd(va, 0 ) = first(bf)

_ Proc( va, rf, prog, clear(bf) )

Previous slide

Next slide

Back to first slide

View graphic version