Christoph Kuznik, Gilles B. Defo, Wolfgang Müller 0003. Verification of a CAN bus model in SystemC with functional coverage. In IEEE Fifth International Symposium on Industrial Embedded Systems - SIES 2010, University of Trento, Italy, July 7-9, 2010. pages 28-35, IEEE, 2010. [doi]
Abstract is missing.