Данный раздел представляет собой сборник смоделированных и подробно разобранных ситуаций обнаружения и исправления ошибок в RTL-описании процессорого ядра с открытым исходным кодом MIRISCV. Со временем раздел будет дополняться различными сценариями, максимально приближенными к тем, с которыми может столкнуться верификатор в ходе рабочего процесса.
Стоит обратить внимание на то, что в разделе будут применяться различные подходы к функциональной верификации RISC-V ядер, представленные и разобранные в теоретическом и практическом разделах. Без их предварительного освоения автор не гарантирует качественного усвоения материала.
-
Bug hunting 00: Потерянные регистры
Краткое описание:
Казалось бы, что может пойти не так при запуске простейшего "Hello world!" теста. Пара инструкций сложения, простое ветвление и запись результата в память. Но не все так просто! Вместе "распутываем" неочевидные взаимосвязи конвейера MIRISCV и ищем "виновника".
-
Bug hunting 01: Сложный выбор
Краткое описание:
Coming soon...
-
Bug hunting 02: Только вперед
Краткое описание:
Coming soon...
-
Bug hunting 03: Байт сюда, байт туда
Краткое описание:
Coming soon...
-
Bug hunting 04: Несовершенство
Краткое описание:
Coming soon...