Formale Hardware-Verifikation mit Termersetzung.

Reinhard Bündgen Alfons Geser

Published in: Künstliche Intell. (1998)

Keyphrases

hardware and software
real time
low cost
computing power
image processing
massively parallel
computer systems
test set
massachusetts institute of technology
database
embedded systems
data processing
hardware implementation
control system
neural network
low latency
hardware architecture