A Flip-Flop Matching Engine to Verify Sequential Optimizations - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Article Dans Une Revue Computing and Informatics Année : 2004

A Flip-Flop Matching Engine to Verify Sequential Optimizations

Solaiman Rahim
  • Fonction : Auteur
Bruno Rouzeyre
Conception et Test de Systèmes MICroélectroniques
CV
Lionel Torres
Conception et Test de Systèmes MICroélectroniques

Résumé

N/A

Domaines

Autre
Fichier principal
Vignette du fichier
D513.PDF (249.47 Ko) Télécharger le fichier

Christine Carvalho De Matos  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00108550

Soumis le : lundi 23 octobre 2006-07:43:10

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : mardi 6 avril 2010-20:28:07

Télécharger pour visualiser

Dates et versions

lirmm-00108550 , version 1 (23-10-2006)

Identifiants

  • HAL Id : lirmm-00108550 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SYSMIC LIRMM LIRMM_MIC MIC MIPS UNIV-MONTPELLIER
89 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More