A HW/SW co-simulation framework for the verification of multi-CPU systems.

Stefano Cordibella Franco Fummi Giovanni Perbellini Davide Quaglia

Published in: HLDVT (2008)

Keyphrases

embedded systems
hardware software
distributed systems
model checking
computing systems
neural network
fuzzy logic
general purpose
mathematical model
parallel computation