Memory arbiter synthesis and verification for a radar memory interface card
Ernits, Juhan-Peep
Nordic journal of computing
2005
/
2, p. 68-88
https://homes.cs.aau.dk/~kgl/AMETIST/Year3/ernits.pdf