Modeling SystemVerilog Assertions using SysML and CCSL

Aamir Mehmood Khan 1, 2 Frédéric Mallet 2 Rashid Muhammad 3
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : SystemVerilog is a popular hardware description and verification language (HDVL) aimed at designing and verifying present-day complex embedded systems. With the increasing number of design verification assertions, engineers always feel it difficult to manage the gap between the system specification and the design validation efforts and to cope with the time-to-market factors. We describe an approach for the modeling of system design as well as validation features using the UML standards like SysML, MARTE and CCSL. We demonstrate our approach using an example of traffic light controller.
Type de document :
Communication dans un congrès
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Liste complète des métadonnées

https://hal.inria.fr/hal-01257934
Contributeur : Frédéric Mallet <>
Soumis le : lundi 18 janvier 2016 - 14:18:05
Dernière modification le : mardi 22 mars 2016 - 10:22:29

Identifiants

  • HAL Id : hal-01257934, version 1

Collections

Citation

Aamir Mehmood Khan, Frédéric Mallet, Rashid Muhammad. Modeling SystemVerilog Assertions using SysML and CCSL. Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States. <hal-01257934>

Partager

Métriques

Consultations de la notice

165