Login / Signup
Design and Verification of a Stack Processor Virtual Component.
Manfred Stadler
Markus Thalmann
Thomas Röwer
Hubert Kaeslin
Norbert Felber
Wolfgang Fichtner
Published in:
IEEE Micro (2001)
Keyphrases
</>
functional verification
case study
parallel processing
design methodology
high speed
design space
database
neural network
object oriented
knowledge based systems
virtual world
human computer interaction
augmented reality
formal verification
virtual laboratory
verification method