Memory arbiter synthesis and verification for a radar memory interface card
author
Ernits, Juhan-Peep
statement of authorship
J.-P.Ernits
source
Nordic journal of computing
journal volume number month
12
year of publication
2005
pages
2, p. 68-88
url
https://homes.cs.aau.dk/~kgl/AMETIST/Year3/ernits.pdf
subject term
süntees
verifikatsioon
radarid
liidesed
language
inglise