Спец курс (Верификация цифровых схем)/Книги

Ссылки сюда (39) →

Лекции ВЦС

---

Лекции

Лекция 1 Лекция 2 Лекция 3

Лекция 4 Лекция 5 Лекция 6

---

Практические задания

• Пример

К лекции 1 К лекции 2 К лекции 3 ПЗ_01

К лекции 4 К лекции 5 К лекции 6

Тесты

Тест 1 Тест 2 Тест 3

Тест 4 Тест 5 Тест 6

---

Табель успеваемости

• Табель успеваемости

---

Экзамен

• Экзаменационные билеты

---

Доп. материалы

• Ссылки
• Книги
• Софт
  • EdaPlayGround.com
  • Редактор Emacs
  • ModelSim

VHDL

• В. П. Бабак, А. Г. Корченко, Н. П. Тимошенко, С. Ф. Филоненко VHDL. Справочное пособие по основам языка — М.: Издательский дом «Додэка XXI», 2008. — 224 с. — ISBN 978-5-94120-169-3. — хороший справочник, полезен в качестве настольной книги.

• Peter J. Ashenden, Jim Lewis VHDL-2008. Just the New Stuff — USA: Morgan Kaufman Publishers, 2007. — 255 с. — ISBN 978-0-12-374249-0.

• Peter J. Ashenden, Jim Lewis The Designer's Guide to VHDL / Third edition — USA: Morgan Kaufman Publishers, 2008. — 909 с.

• Bergeron J. Writing Testbenches Functional Verification Of HDL Models — USA: Springer, 2003. — 358 с. — ISBN 1402074018.

• Бибило П.Н., Авдеев Н.А. VHDL. Эффективное использование при проектировании цифровых систем — СОЛОН-ПРЕСС, 2006. — 344 p. — ISBN 5-98003-293-2.

• Pong P. Chu Embedded SOPC design with NIOS II processor and VHDL examples — A Jhon Wiley & Sons, 2011. — 703 p. — ISBN 978-1-118-00888-1.

• Бобрешов А.М., Дыбой А.В. Проектирование цифровых устройств с помощью языка описания аппаратуры VHDL: Учебное пособие. – 2007

Стандарты:

• IEEE Std 1076-2002 IEEE Standard VHDL Language Reference Manual.
• 1076-2008 IEEE Standard VHDL Language Reference Manual — IEEE, 2009. — 639 p. — ISBN 978-0-7381-5800-6.
• ГОСТ Р 50754-95 Язык описания аппаратуры цифровых систем VНDL. Описание языка.

SystemVerilog

• IEEE Standard for SystemVerilog – Unified Hardware Design, Specification, and Verification Language / IEEE 1800-2012. (pdf)
• IEEE Standard for SystemVerilog – Unified Hardware Design, Specification, and Verification Language / IEEE 1800-2005. (pdf)
• SystemVeriloig Golden Reference Guide - A concise guide to SystemVeriloig IEEE Std 1800-2009 Version 5.0, August 2012, Doulos Ltd
• Хаханов В.И. Проектирование и верификация цифровых систем на кристаллах. Verilog & System Verilog / В.И. Хаханов, И.В. Хаханова, Е.И. Литвинова, О.А. Гузь. – Харьков : ХНУРЭ. – 2010. – 528 с.

UVM

• UVM User's Guide (pdf) - Инструкция пользователя по использованию методологии UVM.