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ón científica: Informe/libro › Libro de Actas › Investigación

Idioma original	Indefinido/desconocido
Lugar de publicación	Paris (FR)
Editorial	IEEE Computer Society
Número de páginas	6
Estado	Publicada - jun 1998

Citar esto

@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 -