EdigE

#формальная верификация

Yosys 0.67: новый SystemVerilog-фронтенд и нормальная сборка под Windows