Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj Mitra, "Sequential Equivalence Checking," VLSI Design, International Conference on, pp. 18-19, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06), 2006.

@article{ 10.1109/VLSID.2006.145,
author = {Anmol Mathur and Masahiro Fujita and M. Balakrishnan and Raj Mitra},
title = {Sequential Equivalence Checking},
journal ={VLSI Design, International Conference on},
volume = {0},
year = {2006},
issn = {1063-9667},
pages = {18-19},
doi = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2006.145},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - VLSI Design, International Conference on
TI - Sequential Equivalence Checking
SN - 1063-9667
SP18
EP19
A1 - Anmol Mathur,
A1 - Masahiro Fujita,
A1 - M. Balakrishnan,
A1 - Raj Mitra,
PY - 2006
KW - null
VL - 0
JA - VLSI Design, International Conference on
ER -