Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT / CABODI G; DIPIETRO L; MURCIANO M.; NOCCO S. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 26(2010), pp. 261-278. [10.1007/s10836-010-5144-0]
Titolo: | Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT | |
Autori: | ||
Data di pubblicazione: | 2010 | |
Rivista: | ||
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s10836-010-5144-0 | |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/2303174
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.