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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj Mitra, "Sequential Equivalence Checking," vlsid, pp.18-19, 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06), 2006
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb