Abstract
The FlexRay network protocol will replace the role which the CAN protocol has for in-vehicle backbone networks. A FlexRay communication controller model based on SystemC, combined with other SystemC models and RTL IPs, can be simulated in a system level through various simulation tools. This paper proposes the method of developing the model of a FlexRay communication controller based on SystemC and the techniques for verifying it. We have analyzed FlexRay SDL descriptions which represent the core mechanisms of the communication controller. From this analysis, this paper develops a FlexRay communication controller model based on SystemC. Several tools and additional models for simulation are used to build up the simulation environment for system-level verification. Our simulation environment can be configured to verify the FlexRay communication controller model in various communication environments.