- Title
- A Flip-Flop Matching Engine to Verify Sequential Optimizations
- Creators - without role
- Solaiman RahimBruno Rouzeyre - Conception et Test de Systèmes MICroélectroniquesLionel Torres - Conception et Test de Systèmes MICroélectroniques
- Publication Details
- Computing and Informatics, Vol.24(5-6), pp.437-460
- Identifiers
- 9946764309311
- Academic Unit
- Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
- Language
- English
- Resource Type
- Journal article
- Local Fields
- lirmm-00108550
Journal article
A Flip-Flop Matching Engine to Verify Sequential Optimizations
Computing and Informatics, Vol.24(5-6), pp.437-460
2004
Metrics
1 Record Views