Memory arbiter synthesis and verification for a radar memory interface card
autor
Ernits, Juhan-Peep
vastutusandmed
J.-P.Ernits
allikas
Nordic journal of computing
ajakirja aastakäik number kuu
12
ilmumisaasta
2005
leheküljed
2, p. 68-88
leitav
https://homes.cs.aau.dk/~kgl/AMETIST/Year3/ernits.pdf
märksõna
süntees
verifikatsioon
radarid
liidesed
keel
inglise