Software-Based Testing of Sequential VHDL Descriptions

Abstract : In this paper, we propose a new high-level test pattern generation technique for sequential circuits. The main motivation is two-fold: on one hand, we elaborate test data for design validation; on the other hand, we deal with the problem of structural test development at functional level. The proposed test method, i.e. mutation testing, allows us to work with a fault model at software level on VHDL descriptions; this approach has already shown its efficiency on combinational descriptions. In order to tackle the specific problem of sequential circuits, the description is modified so that the state variables are made observable and controllable.
Type de document :
Communication dans un congrès
ETW: European Test Workshop, Mar 2003, Maastricht, Netherlands. pp.199-200, 2003
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269437
Contributeur : Christine Carvalho de Matos <>
Soumis le : jeudi 3 avril 2008 - 08:11:56
Dernière modification le : jeudi 11 janvier 2018 - 02:08:14
Document(s) archivé(s) le : jeudi 20 mai 2010 - 22:52:00

Fichier

D142.PDF
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-00269437, version 1

Collections

Citation

Mathieu Scholivé, Vincent Beroulle, Chantal Robach, Marie-Lise Flottes, Bruno Rouzeyre. Software-Based Testing of Sequential VHDL Descriptions. ETW: European Test Workshop, Mar 2003, Maastricht, Netherlands. pp.199-200, 2003. 〈lirmm-00269437〉

Partager

Métriques

Consultations de la notice

133

Téléchargements de fichiers

252