On the verification of automotive protocols

Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (model, design and system) has its proper verification and validation methodology. Very often, these methodologies are badly or not interconnected at all one to another, and it´s still common to see some of the most critical verification tasks confined to post-silicon validation, where costs to solve issues could be a killing factor for deeply integrated electronic systems. This paper presents the architecture of verification components that can be applied in all the different levels and shows how they have been successfully applied to the verification of systems integrating LIN, CAN and FlexRay protocols