A Practical Approach to Verification of Multicore Microprocessor Models

Grevtsev N.A., Chibisov P.A. (NIISI RAS)
Abstract - In the paper the early stage of verification technology for multicore processor models testing is proposed. We demonstrate the applicability of the single core verification method extension where a creating new multicore test generator is not required. The solution scheme deals with the adaptation method of some available single core stochastic testing approaches to a fully functional multicore testing tool. The proposed technique has been successfully applied to test RTL-model of dual-core microprocessor with SMP developed in SRISA. The discussed approach was initially considered to be a first stage of RTL-model testing, but the possibilities of the approach are also of interest for testing the model at the later stages of its design and functional maturity. The testing process begins by creating simple random tests that check the MOESI coherence protocol. New advanced random testing method based on the usage of proposed interleaved memory structures is developed to increase the probability of finding rare and hard to detect bugs in the memory subsystem.

Keywords - functional verification, RTL-model of microprocessor, multicore, stochastic testing, pseudorandom tests generation, false sharing, memory subsystem, SMP, MOESI, cache coherence, pre-silicon verification.

Подход к стохастическому тестированию RTL-моделей многоядерных микропроцессоров

Гревцев Н.А., Чибисов П.А. (ФГУ "ФНЦ НИИСИ РАН", г. Москва)
Аннотация - В статье предложен маршрутраннего тестирования многоядерных микропроцессоров без создания отдельных генераторов тестов, направленных исключительно на многоядерное тестирование. В статье рассматривается способ адаптирования имеющихся средств одноядерного тестирования под полноценный инструмент многоядерного тестирования. Предложенный метод был успешно применен для тестирования RTL-модели разрабатываемого в НИИСИ РАН двухъядерного микропроцессора с СМП.

Ключевые слова - многоядерные микропроцессоры, процессор с общей памятью, функциональная верификация, RTL-модель микропроцессора, стохастическое тестирование, метрики тестового покрытия, генерация псевдослучайных тестов.