Implement Memory.hdl