Проектирование и верификация цифровых систем на кристаллах. Verilog & System Verilog