Сколковская школа синтеза цифровых схем на Verilog