Language.Pck.Cpu

Run the processor

run

The instruction set

data Inst

data GReg

data FCond

Instruction and data memory images

type InstImage

type DataImage

Cpu states (processor internal states)

data CpuState

pcFromCpuState

grFromCpuState

flFromCpuState

imemFromCpuState

dmemFromCpuState

dumpCpuState