1 Treffer in 0.104 Sek.
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
[Relevanz: 100%]
Autor / Herausgeber: Beyer, Sven; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2003 | 15 S.
Zeitschrift / Sammelband: Correct hardware design and verification methods
Fachgebiet: Informatik
Autor / Herausgeber: Beyer, Sven; Paul, Wolfgang J. | Verlagsort: Berlin [u.a.] | Verlag: Springer | Erscheinungsjahr: 2003 | 15 S.
Zeitschrift / Sammelband: Correct hardware design and verification methods
Fachgebiet: Informatik