Skip to Main content Skip to Navigation
Journal articles

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
Document type :
Journal articles
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00108550
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 23, 2006 - 7:43:10 AM
Last modification on : Tuesday, October 23, 2018 - 10:46:02 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 8:28:07 PM

File

Identifiers

  • 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⟩

Share

Metrics

Record views

196

Files downloads

175