Memory arbiter synthesis and verification for a radar memory interface card

statement of authorship
J.-P.Ernits
source
Nordic journal of computing
journal volume number month
12
year of publication
pages
2, p. 68-88
Ernits, J.-P. Memory arbiter synthesis and verification for a radar memory interface card // Nordic journal of computing (2005) 12, 2, p. 68-88.