Дональд Томас. Логическое проектирование и верификация систем на SystemVerylog. М.:ДМК Пресс, 2016