A Flip-Flop Matching Engine to Verify Sequential Optimizations

Solaiman Rahim Bruno Rouzeyre 1 Lionel Torres 1
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 :
Article dans une revue
Computing and Informatics, Slovak University Press, Bratislava, 2004, 24 (5-6), pp.437-460
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00108550
Contributeur : Christine Carvalho de Matos <>
Soumis le : lundi 23 octobre 2006 - 07:43:10
Dernière modification le : jeudi 11 janvier 2018 - 06:27:19
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:28:07

Fichier

Identifiants

  • HAL Id : lirmm-00108550, version 1

Collections

Citation

Solaiman Rahim, Bruno Rouzeyre, Lionel Torres. A Flip-Flop Matching Engine to Verify Sequential Optimizations. Computing and Informatics, Slovak University Press, Bratislava, 2004, 24 (5-6), pp.437-460. 〈lirmm-00108550〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

95