Skip to Main content Skip to Navigation
Conference papers

Matching in the Presence of don't Cares and Redundant Sequential Elements for Sequential Equivalence Checking

Solaiman Rahim Bruno Rouzeyre 1 Lionel Torres 1 Jerome Rampon
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 :
Conference papers
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00191957
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, November 26, 2007 - 11:44:01 AM
Last modification on : Tuesday, October 23, 2018 - 10:46:02 AM
Long-term archiving on: : Monday, April 12, 2010 - 5:06:07 AM

File

D162.PDF
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00191957, version 1

Collections

Citation

Solaiman Rahim, Bruno Rouzeyre, Lionel Torres, Jerome Rampon. Matching in the Presence of don't Cares and Redundant Sequential Elements for Sequential Equivalence Checking. HLDVT'03: High Level Design Validation and Test Workshop, San Francisco (USA), France. pp. 129-135. ⟨lirmm-00191957⟩

Share

Metrics

Record views

150

Files downloads

188