Login / Signup
Combining Symbolic Evaluation and Object-Oriented Approach for Verifying Processor-Like Architectures at the RT-Level.
Jacques Chazarain
Hélène Collavizza
Published in:
CHARME (1993)
Keyphrases
</>
object level
d objects
higher level
object model
evaluation criteria
pixel level
parallel architectures
neural network
complex objects
deformable objects
connectionist learning
real time
evaluation method
symbolic representation
computer architecture