Gaudron Mathieu

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
One of the key issues to ensure high-quality designs is the verification methodology. The typical verification methodology used for RTL design is based on the V diagram. In this article we work at higher levels of abstraction (named ESL) by focusing on the performance verification process. A subsystem and its interconnected components are modeled with AADL.(More)
  • 1