On the Reuse of Symbolic Results for Incremental Equivalence Verification of Switch Level Circuits: Proceedings of the Design, Automation and Test in Europe

Ll Ribas; J. Carrabina

On the Reuse of Symbolic Results for Incremental Equivalence Verification of Switch Level Circuits: Proceedings of the Design, Automation and Test in Europe

Producció científica: Informe/llibre › Llibre d'Actes › Recerca

Idioma original	No s'ha definit/desconegut
Lloc de publicació	Paris (FR)
Editor	IEEE Computer Society
Nombre de pàgines	6
Estat de la publicació	Publicada - de juny 1998

Com citar-ho

@book{0c46869df1ea45a49dd8cb4e1088f936,

title = "On the Reuse of Symbolic Results for Incremental Equivalence Verification of Switch Level Circuits: Proceedings of the Design, Automation and Test in Europe",

author = "Ll Ribas and J. Carrabina",

year = "1998",

month = jun,

language = "Indefinido/desconocido",

publisher = "IEEE Computer Society",

address = "Estados Unidos",

}

TY - BOOK

T1 - On the Reuse of Symbolic Results for Incremental Equivalence Verification of Switch Level Circuits

T2 - Proceedings of the Design, Automation and Test in Europe

AU - Ribas, Ll

AU - Carrabina, J.

PY - 1998/6

Y1 - 1998/6

M3 - Libro de Actas

BT - On the Reuse of Symbolic Results for Incremental Equivalence Verification of Switch Level Circuits

PB - IEEE Computer Society

CY - Paris (FR)

ER -