Modelling Heterogeneous Interactions in SoC Verification.

Justin Xu Cheng-Chew Lim

Published in: VLSI-SoC (2006)

Keyphrases

hardware and software
model checking
information systems
low power
asynchronous circuits
functional verification
neural network
genetic algorithm
metadata
website
image sequences
expert systems
formal analysis