Flexible in-silicon checking of run-time programmable assertions.

Yumin Zhou Oliver Bringmann Wolfgang Rosenstiel

Published in: IOLTS (2016)

Keyphrases

low cost
high speed
real time
general purpose
knowledge base
case study
artificial intelligence
information systems
image processing
three dimensional
multi agent
color images
consistency checking
single chip