Sign in

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

Stefano CordibellaFranco FummiGiovanni PerbelliniDavide 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