Methodology of the pre-silicon verification of the processor core. - Sergii Berdyshev; Vladimir Boykov; Yuri Gimpilevich; Yuri Iskiv; Gilad Keren; Denis Muratov; Igor Smirnov 002; Valeriy Vertegel (EWDTS, 2011)