Automated design error localization in RTL designs

statement of authorship
Maksim Jenihhin, Anton Tšepurov, Valentin Tihhomirov, Jaan Raik, Hanno Hantson, and Raimund Ubar, Günter Bartsch, Jorge Hernan Meza Escobar and Heinz-Dietrich Wuttke
journal volume number month
Vol. 31, 1
year of publication
pages
p. 83-92 : ill
ISSN
2168-2356
notes
Bibliogr.: 10 ref
language
inglise
Jenihhin, M., Tšepurov, A., Tihhomirov, V., Raik, J., Hantson, H., Ubar, R., Bartsch, G., Meza Escobar, J.H., Wuttke, H.-D. Automated design error localization in RTL designs // IEEE design & test of computers (2014) Vol. 31, 1, p. 83-92 : ill. http://dx.doi.org/10.1109/MDAT.2013.2271420