Вы не просили, но я принес вам очередной блог и занимательные статьи по тематике FPGA/ASIC —
https://hardwareteams.com/

Наиболее воодушевляющей показалась статья под названием:
Getting Started with Cocotb for absolute idiots
👀👀👀

Если вы хотите попробовать свои силы в проектировании и верификации цифровых схем на языках описания аппаратуры, используя устройство на базе Apple Silicon, рекомендую ознакомиться с этой статьей — k0nze

btw, когда EDA тулы полноценно портируют на ARM?

Статья предлагает понятные пошаговые инструкции по установке базовых библиотек и сборке Verilator из исходников.

Для просмотра файлов waveform, помимо проверенного GTKWave, рекомендую обратить внимание на Surfer. Этот инструмент отличается более понятным и интуитивно удобным интерфейсом. Однако имейте в виду, что проект находится в активной стадии разработки, поэтому вы можете столкнуться с потенциальными багами и другими проблемами 🚪