Implementation of DraMon memory model