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

Учебная литература.