Skip to main content
Article thumbnail
Location of Repository

Utilizing Vera Functional Coverage in the Verification of a Protocol Engine for the FlexRay TM Automotive Communication System

By Mark Litterick Verilab, Markus Brenner and Freescale Semiconductor


The FlexRay TM communication system for advanced automotive control applications such as drive-by-wire is specified at a micro-architectural level using graphical Specification and Description Language (SDL) representations for the main protocol engine operation. Verifying that a specific implementation conforms to this specification requires close attention to all possible state transitions and conditional paths, for a potentially huge variety of node and cluster configurations. This paper explores the issues involved with measuring and managing the functional coverage for a FlexRay TM controller using Vera. Practical solutions and code examples are presented based on the verification environment for

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.