Archivio Istituzionale della RicercaA 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
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