Finite State Machines for Simple CPUs

State Diagram and Datapath Derivation

Processor Specification:

Instruction Format:

Memory Interface:

Load from memory: Mem[XXX] ? AC;

Store to memory: AC ? Mem[XXX];

Add from memory: AC + Mem[XXX] ? AC;

Branch if accumulator is negative: AC < 0 ? XXX ? PC;