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

A Flip-Flop Matching Engine to Verify Sequential Optimizations

Abstract

N/A

Domains

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

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⟩
89 View
115 Download

Share

Gmail Facebook X LinkedIn More