@mastersthesis{Ale09,
AUTHOR = {Alekhin, Artem},
TITLE = {The VAMP Memory Unit: Hardware Design and Formal Verification Effort},
YEAR = {2009},
SCHOOL = {Saarland University},
}