Разработка программных моделей для тестирования изделий микроэлектроники.

Максимов Егор Александрович

Аннотация


Пояснительная записка с. 104, глав 3, рис. 41, табл. 13, формул 7, источников 22.
МИКРОПРОЦЕССОР, СИСТЕМА НА КРИСТАЛЛЕ, ВЕРИФИКАЦИЯ, UNIVERSAL VERIFICATION METHODOLOGY, SYSTEMVERILOG, RISC-V
Работа посвящена разработке тестового окружения и верификации СнК на базе RISC-V. Проведен анализ СнК, разработано тестовое окружение на языке SystemVerilog, разработано программное обеспечение для ЦПУ СнК.
Проведена функциональная верификация СнК