Localization of bugs in processor designs using zamiaCAD framework

statement of authorship
A. Tšepurov, V. Tihhomirov, M. Jenihhin, J. Raik, ... [et al.]
source
13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions : Austin, USA, December 10–12, 2012
location of publication
[S.l.]
publisher
year of publication
pages
p. 1-6
conference name, date
13th International Workshop on Microprocessor Test and Verification (MTV 2012) Common Challenges and Solutions, December 10–12, 2012
conference location
Austin, USA
language
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.