Проверка нестандартного расширения векторов RISC-V с помощью инструментов с открытым исходным код...

Верификация векторного расширения RISC-V с неупорядоченным выполнением с помощью инструментов с открытым исходным кодом — Шарвил Панандикар и Амит Кумар, Tenstorrent

Мы представляем комплексную платформу с открытым исходным кодом для верификации реализаций векторного расширения RISC-V (RVV) с неупорядоченным выполнением (OOO), а также расширений BF16, битовой манипуляции, криптографии и скалярного произведения векторов. В основе нашей методологии лежат инструменты Riescue C/D, которые генерируют гибкие, настраиваемые стимулы, способные адаптироваться к параметрам реализации, таким как длина вектора и независимые политики. Мы создали форк riscv_dv ISG, чтобы добавить отсутствующую поддержку RVV 1.0 и некоторых новых векторных расширений. Верификация выполняется на тестовом стенде косимуляции rv_tester, который скоро будет доступен для открытого исходного кода. Состояния архитектуры на границе каждой инструкции сравниваются с результатами Whisper, симулятора набора инструкций с открытым исходным кодом. Фреймворк обеспечивает расширенные проверки согласованности памяти для многоядерных архитектур. Функциональное покрытие измеряется с помощью готовящегося к выпуску фреймворка Tenstorrent с открытым исходным кодом, разработанного как для автоматически генерируемых, так и для определяемых пользователем точек покрытия, что обеспечивает глубокое понимание соответствия требованиям и микроархитектурного поведения. Наш подход с открытым исходным кодом представляет собой расширяемое, масштабируемое решение, успешно прошедшее проверку высокопроизводительного OOO-ядра.