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
subject term
ISSN
2168-2356
notes
Bibliogr.: 10 ref
TTÜ department
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.