Verification of a CAN bus model in SystemC with functional coverage | IEEE Conference Publication | IEEE Xplore