Localization of bugs in processor designs using zamiaCAD framework

vastutusandmed
A. Tšepurov, V. Tihhomirov, M. Jenihhin, J. Raik, ... [et al.]
allikas
13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions : Austin, USA, December 10–12, 2012
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-6
konverentsi nimetus, aeg
13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions, December 10–12, 2012
konverentsi toimumispaik
Austin, USA
keel
inglise
Tšepurov, A., Tihhomirov, V., Jenihhin, M., Raik, J. et al. Localization of bugs in processor designs using zamiaCAD framework // 13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions : Austin, USA, December 10–12, 2012. [S.l.] : IEEE, 2012. p. 1-6.