Modularity / Abstracting away from irrelevant details

• Finite maps
• Alg
• RegFile, Reg
• Addr, Word, Memory