Логическое проектирование и верификация систем на SystemVerylog