1. Введение в Verilog HDL
2. Лексические соглашения
3. Типы данных
4. Выражения в языке Verilog
5. Иерархические структуры
6. Поведенческое описание
7. Системные задачи и функции
8. Директивы компилятора
9. Методология проектирования ЦУ
10. Примеры реализации ЦУ на языке Verilog
11. Методология тестирования
12. Управление временными характеристиками модели
13. Testbench-модули
14. Стандарт 2001г.
Но к сожалению, он не полный (присутствует только первые 10 страниц), не подскажете что это за документ и где его можно взять полностью?