Verfahren zur Assertion basierten Verifikation bei der High-Level-Synthese.

Christian Schott Marko Rößler Ulrich Heinkel

Published in: MBMV (2015)

Keyphrases

high level
low level
programming language
higher level
real time
databases
knowledge base
image processing
image retrieval
artificial neural networks
color images
management system
contextual information
mid level