Memory arbiter synthesis and verification for a radar memory interface cardErnits, Juhan-PeepNordic journal of computing2005 / 2, p. 68-88 https://homes.cs.aau.dk/~kgl/AMETIST/Year3/ernits.pdf