refactor MMU spec
refactor CPU spec
refactor operations spec