Automated design error localization in RTL designs
author
Meza Escobar, Jorge Hernan
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
subject term
TTÜ department
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