Synthesis of instruction decoder using Conditional Partial Order Graphs
- algebraic representation of instruction classes
LOAD = PCIU -> IFU + MAU ADD = PCIU -> IFU + ALU PUSH = PCIU -> IFU + ALU -> MAU
LOAD = PCIU -> IFU + MAU ADD = PCIU -> IFU + ALU PUSH = PCIU -> IFU + ALU -> MAU