A Flip-Flop Matching Engine to Verify Sequential Optimizations - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Journal Articles Computing and Informatics Year : 2004

A Flip-Flop Matching Engine to Verify Sequential Optimizations

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

Abstract

N/A

Domains

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

Christine Carvalho De Matos  : Connect in order to contact the contributor

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

Submitted on : Monday, October 23, 2006-7:43:10 AM

Last modification on : Friday, March 24, 2023-2:52:48 PM

Long-term archiving on : Tuesday, April 6, 2010-8:28:07 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : lirmm-00108550 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SYSMIC LIRMM LIRMM_MIC MIC MIPS UNIV-MONTPELLIER
96 View
125 Download

Share

More