A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions / Bischoff, G. P.; Brace, K. S.; Cabodi, Gianpiero. - 4739:(2007), pp. 505-514. (Intervento presentato al convegno Eurocast 2007 tenutosi a Las Palmas de Gran Canaria (Spagna) nel February 12-16, 2007).

A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions

CABODI, Gianpiero
2007

2007
9783540758662
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1839179
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo