Библиотека материалов по теме выпускной работы

    Собственные публикации и доклады

  1. Проблемы верификации систем-на-кристалле на базе FPGA на различных этапах проектирования

    Авторы: Горохов И.В., Зинченко Ю.Е.

    Описание: В данной статье рассматриваются вопросы верификации встраиваемых систем-на-кристалле (СнК) на базе FPGA на маршруте их проектирования. Проводится обзорный анализ существующих методов верификации систем-на-кристалле и цифровых устройств в целом. На основании обзора формируется перечень актуальных проблем при верификации СнК и возможных путей их преодоления с целью создания качественно нового подхода к верификации FPGA-проектов.

    Источник: Інформаційні управляючі системи та комп’ютерний моніторинг (ІУС та КМ-2012) / Матерiали III мiжнародної науково-технiчної конференцiї студентiв, аспiрантiв та молодих вчених. — Донецьк, ДонНТУ — 2012. — с. 591-594.

  2. Особливості верифікації систем-на-кристалі на базі FPGA

    Авторы: Горохов І.В., Шерекін О.О., Корченко О.О., Зінченко Ю.Є.

    Описание: Анализ современных методов верификации цифровых устройств и СнК в отдельности и разработка новой методологии верификации СнК, которая бы учитывала особенности их проектирования и использовала накопленный опыт по вопросам верификации цифровых устройств.

    Источник: Сучасні комп’ютерні інформаційні технології (ACIT-2012) / Матеріали школи-семінару молодих вчених і студентів. — Тернопіль, ТНЕУ — 2012.

  3. Построение системы реального времени на базе платформы FPGA фирмы ALTERA

    Авторы: Сероштан С.Ю., Горохов И.В., Деменко А.Г., Лобанов Е.В.

    Описание: В статье рассматривается разработка системы управления управляющими механизмами, работающей под управлением операционной системы реального времени MicroC/OS-II, с использованием в качестве целевой платформы ПЛИС FPGA фирмы Altera Cyclone II и Cyclone III.

    Источник: Інформатика та комп’ютерні технології (ІКТ-2011) / Збірка праць VII міжнародної науково-технічної конференції студентів, аспірантів та молодих науковців — 22-23 листопада 2011 р., Донецьк, ДонНТУ. — 2011. У 2-х томах, Т. 1, с. 61-63.

  4. Cравнение средств построения систем на кристалле для FPGA платформы фирмы ALTERA: SOPC Builder и Qsys

    Авторы: Горохов И.В., Деменко А.Г., Лобанов Е.В., Сероштан С.Ю

    Описание: В данной статье рассматриваются вопросы использования программных средств SOPC Builder и Qsys фирмы Altera для построения систем на кристалле на базе отладочных плат FPGA данной фирмы. Выполняется функциональный анализ работы рассматриваемых инструментариев для выявления общих черт и различий.

    Источник: Інформатика та комп’ютерні технології (ІКТ-2011) / Збірка праць VII міжнародної науково-технічної конференції студентів, аспірантів та молодих науковців — 22-23 листопада 2011 р., Донецьк, ДонНТУ. — 2011. У 2-х томах, Т. 2, с. 19-21.

  5. Реферат по курсу Философия науки и техники на тему: Этический контекст развития техники

    Авторы: Горохов И.В.

    Описание: В данной работе приводится изложение взглядов известных мировых и отечественных философов на проблему этических норм развития техники, производится анализ существующих идей решения этой проблемы и выработка выводов.

    6. Тематические статьи

  6. Проектирование в условиях временных ограничений: верификация проектов (2 часть)

    Авторы: Грушвицкий Р., Михайлов М.

    Описание: Авторы продолжают рассмотрение вопросов верификации проектируемой аппаратуры. Данный выпуск посвящен описанию языка PSL (Property Specification Language).

    Источник: Грушвицкий Р. Проектирование в условиях временных ограничений: верификация проектов (2 часть) / Р. Грушвицкий, М. Михайлов // Компоненты и технологии (выпуск №5), 2008. — с. 546-59. http://www.kit-e.ru/assets/files/pdf/2008_5_54.pdf

  7. Практический курс сквозного проектирования цифровых устройств на основе ПЛИС фирмы Xilinx (часть 2)

    Авторы: Зотов В.

    Описание: Вторая часть курса знакомит с последовательностью этапов проектирования цифровых устройств на основе ПЛИС фирмы Xilinx. Приводятся краткие рекомендации по выбору кристаллов для реализации разрабатываемого устройства. Подробно рассматривается процесс создания нового проекта в САПР серии Xilinx ISE.

    Источник: Зотов В. Практический курс сквозного проектирования цифровых устройств на основе ПЛИС фирмы Xilinx (часть 2) / Зотов В. // Современная электроника (выпуск №2), 2007. — с. 72-77. http://www.soel.ru/cms/f/?/347292.pdf

  8. Практический курс сквозного проектирования цифровых устройств на основе ПЛИС фирмы Xilinx (часть 20)

    Авторы: Зотов В.

    Описание: В двадцатой части курса завершается описание параметров процесса формирования конфигурационной последовательности для проектов, разрабатываемых на базе ПЛИС с архитектурой FPGA. Рассматривается выполнение процессов генерации конфигурационного битового потока для проектируемого устройства и его последующей загрузки в кристалл.

    Источник: Зотов В. Практический курс сквозного проектирования цифровых устройств на основе ПЛИС фирмы Xilinx (часть 20) / Зотов В. // Современная электроника (выпуск №2), 2009. — с. 48-55. http://www.soel.ru/cms/f/?/382795.pdf

  9. Применение средств Mentor Graphics O_In и Mentor Graphics Questa для верификации проекта с использованием формальных методов

    Авторы: Рабоволюк А.

    Описание: В статье рассмотрен метод расширенной функциональной верификации проекта, основанный на формальной модели. Данный метод позволяет выловить такие ошибки, которые традиционными методами обнаружить очень сложно, а в некоторых случаях и невозможно.

    Источник: Рабоволюк А. Применение средств Mentor Graphics O_In и Mentor Graphics Questa для верификации проекта с использованием формальных методов / Рабоволюк А. // Современная электроника (выпуск №6), 2007. — с. 52-55. http://www.soel.ru/cms/f/?/357669.pdf

    10. Переводы статей

  10. Методология для продвинутой верификации блокового уровня

    Авторы: Aggarwal A., Aneja R.

    Описание: Эта статья описывает процесс для продвинутых методов верификации на уровне блоков, разрабатываемых фирмой Mentor Graphics.

    Источник (англ.): Источник оригинальной статьи