Automated design error localization in RTL designs

vastutusandmed
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
ajakirja aastakäik number kuu
Vol. 31, 1
ilmumisaasta
leheküljed
p. 83-92 : ill
ISSN
2168-2356
märkused
Bibliogr.: 10 ref
keel
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