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

Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269707
Contributor : Christine Carvalho de Matos <>
Submitted on : Thursday, April 3, 2008 - 8:22:20 AM
Last modification on : Tuesday, October 23, 2018 - 10:46:02 AM

Identifiers

  • HAL Id : lirmm-00269707, 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-00269707⟩

Share

Metrics

Record views

66