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

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269707
Contributeur : Christine Carvalho de Matos <>
Soumis le : jeudi 3 avril 2008 - 08:22:20
Dernière modification le : mardi 26 juin 2018 - 01:18:21

Identifiants

  • HAL Id : lirmm-00269707, 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-00269707〉

Partager

Métriques

Consultations de la notice

30