<  Retour au portail Polytechnique Montréal

On the verification of a WiMax design using symbolic simulation

Salim Ismail Al-Akhras, Sofiène Tahar, Gabriela Nicolescu, Michel Langevin et Pierre Paulin

Communication écrite (2012)

Document en libre accès dans PolyPublie et chez l'éditeur officiel
[img]
Affichage préliminaire
Libre accès au plein texte de ce document
Version officielle de l'éditeur
Conditions d'utilisation: Creative Commons: Attribution (CC BY)
Télécharger (262kB)
Afficher le résumé
Cacher le résumé

Abstract

In top-down multilevel design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do not change the design functionality. Unfortunately, with computer simulations it is not possible to completely check that a design transformation is correct in a reasonable amount of time, as the number of test patterns required to do so increase exponentially with the number of system state variables. In this paper, we propose a methodology for the verification of conformance of models generated at higher levels of abstraction in the design process to the design specifications. We model the system behavior using sequence of recurrence equations. We then use symbolic simulation together with equivalence checking and property checking techniques for design verification. Using our proposed method, we have verified the equivalence of three WiMax system models at different levels of design abstraction, and the correctness of various system properties on those models. Our symbolic modeling and verification experiments show that the proposed verification methodology provides performance advantage over its numerical counterpart.

Sujet(s): 2700 Technologie de l'information > 2706 Génie logiciel
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/10595/
Nom de la conférence: 4th International Symposium on Symbolic Computation in Software Science
Lieu de la conférence: Gammarth, Tunisia
Date(s) de la conférence: 2012-12-15 - 2012-12-17
Titre de la revue: Electronic Proceedings in Theoretical Computer Science (vol. 122)
DOI: 10.4204/eptcs.122.3
URL officielle: https://doi.org/10.4204/eptcs.122.3
Date du dépôt: 02 oct. 2023 15:41
Dernière modification: 28 sept. 2024 08:41
Citer en APA 7: Al-Akhras, S. I., Tahar, S., Nicolescu, G., Langevin, M., & Paulin, P. (décembre 2012). On the verification of a WiMax design using symbolic simulation [Communication écrite]. 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia. Publié dans Electronic Proceedings in Theoretical Computer Science, 122. https://doi.org/10.4204/eptcs.122.3

Statistiques

Total des téléchargements à partir de PolyPublie

Téléchargements par année

Provenance des téléchargements

Dimensions

Actions réservées au personnel

Afficher document Afficher document