1 hits in 0.025 sec.
Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
[Score: 100%]
Author / Editor: Beyer, Sven; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2003 | 15 s.
Journal / Series / Collection: Correct hardware design and verification methods
Subject Area: Informatik
Author / Editor: Beyer, Sven; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2003 | 15 s.
Journal / Series / Collection: Correct hardware design and verification methods
Subject Area: Informatik