Heterogeneous System-level Specification Using SystemC.

Eugenio Villar Axel Jantsch Christoph Grimm Tim Kogel

Published in: DATE (2008)

Keyphrases

knowledge level
real world
high level
levels of abstraction
information systems
decision making
image processing
three dimensional
digital libraries
programming language
heterogeneous networks
formal verification