SMMщик хотел запикать эти нецензурные слова, но оказалось это описание задачи...

RISC-V Register Verifier // YADRO

Ты — инженер лаборатории МИФИ-Ядро. Получен RTL-блок регистров для RISC-V SoC (YADRO платформа). Синтез прошел, но системная верификация провалилась. «Черный ящик» содержит реальную модель из лаборатории с 3 багами.

🔸Твоя задача взломать баги и доказать, что ты лучший верификатор.🔸

Какой у нас план?

⭕ Test Sequencer инженер — генерирует тесты регистрового блока на основе SystemRDL и добивается высокого функционального покрытия.
⭕ Coverage инженер — анализирует поведение «чёрного ящика», выявляет некорректные сценарии работы и оформляет багрепорты с воспроизводимыми тестами.
⭕ Verification GUI инженер — разрабатывает интерактивный dashboard для визуализации coverage, активности регистров и состояний FSM.

#РосмолодёжьГранты #Росмолодёжь

Регистрация на сайте 👉 https://nuclearhack.mephi.ru/