Matching in the Presence of don't Cares and Redundant Sequential Elements for Sequential Equivalence Checking

Solaiman Rahim Bruno Rouzeyre 1 Lionel Torres 1 Jerome Rampon
1 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : N/A
Type de document :
Communication dans un congrès
HLDVT'03: High Level Design Validation and Test Workshop, San Francisco (USA), France. pp. 129-135, 2003
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00191957
Contributeur : Christine Carvalho de Matos <>
Soumis le : lundi 26 novembre 2007 - 11:44:01
Dernière modification le : jeudi 11 janvier 2018 - 06:27:19
Document(s) archivé(s) le : lundi 12 avril 2010 - 05:06:07

Fichier

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

Identifiants

  • HAL Id : lirmm-00191957, version 1

Collections

Citation

Solaiman Rahim, Bruno Rouzeyre, Lionel Torres, Jerome Rampon. Matching in the Presence of don't Cares and Redundant Sequential Elements for Sequential Equivalence Checking. HLDVT'03: High Level Design Validation and Test Workshop, San Francisco (USA), France. pp. 129-135, 2003. 〈lirmm-00191957〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

96