Platform for automated HW/SW co-verification, testing and simulation of microprocessors.

Aleksandar Simevski Rolf Kraemer Milos Krstic

Published in: LATW (2012)

Keyphrases

hardware software
hw sw
hardware software co design
hardware and software
embedded systems
hardware software partitioning
neural network
model checking
design methodology
real time
fuzzy logic
mathematical model
low cost
parallel processing
multi core processors