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