Siemens бесплатно предоставляет широкий выбор учебных материалов, готовых к использованию для обучения студентов. Среди курсов есть тематика микроэлектроники:
ASIC verification, Introduction to System Verilog, Functional Verification methods, etc.

Бегло пролистал содержание перечисленных выше курсов. Наиболее полезным показался курс ASIC Verification. В нем и lab assignments, примеры кода, квиз, а не просто набор презентаций. Последние без lecture notes, как по мне не особенно полезны.

Для курса ASIC Verification подразумевается работа с QuestaSim.
По идее данный симулятор скоро будет поставляться бесплатно с пакетом Quartus Lite. Но когда это наступит непонятно.
Сейчас последняя Lite версия - 20.1.1. Судя по описанию, в состав пакета Quartus 20.1.1 входит ModelSim, а не Questa.
Ждём-с 👉👈
Пока что в качестве альтернативы можно попробовать работать с предложенными в курсе исходниками через edaplayground. Для работы с edaplayground понадобится университетская или корпоративная почта.

За наводку спасибо - @embedoka