Verification of a CAN bus model in SystemC with functional coverage.

Christoph Kuznik Gilles B. Defo Wolfgang Müller

Published in: SIES (2010)

Keyphrases

computational model
probability distribution
mathematical model
statistical model
network model
search engine
decision trees
multiscale
high speed
em algorithm
parameter estimation
hierarchical structure
formal model