Зображення обкладинки

Проектирование и физическая верификация цифровых устройств на ПЛИС

Предложен программно-аппаратный комплекс для проектирования, моделирования и верификации арифметических устройств на ПЛИС. Пропонується програмно-апаратний комплекс для проектування, моделювання та верифікації арифметичних пристроїв на ПЛІС. The soft-hardware complex to designing, modeling and verif...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2008
Автори:	Опанасенко, В.Н., Лисовый, А.Н., Сорока, Е.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2008
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/6500
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Проектирование и физическая верификация цифровых устройств на ПЛИС / В.Н. Опанасенко, А.Н. Лисовый, Е.В. Сорока // Комп’ютерні засоби, мережі та системи. — 2008. — № 7. — С. 76-85. — Бібліогр.: 4 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Проектирование реконфигурируемых систем на ПЛИС
за авторством: Палагин, А.В., та інші
Опубліковано: (2007)

Проектирование модулей с плавающей точкой на ПЛИС с использованием языка VHDL
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2005)

Особенности языка VHDL для программирования кристаллов ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)

Реализация арифметических операций с комплексными числами на ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2008)

Проектирование реконфигурируемых систем на ПЛИС
за авторством: Palagin, A. V., та інші
Опубліковано: (2007)

Проектирование на ПЛИС компараторов большой размерности
за авторством: Соловьев, В.В.
Опубліковано: (2009)

Тестирование и верификация HDL-моделей цифровых систем на кристаллах
за авторством: Хаханов, В.И., та інші
Опубліковано: (2010)

Кубитные технологии анализа и диагностирования цифровых устройств
за авторством: Хаханов, В.И., та інші
Опубліковано: (2015)

Оптимизация схем композиционных микропрограммных устройств управления, реализуемых на ПЛИС
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Снижение энергопотребления цифровых устройств с помощью операции объединения циклов
за авторством: Лазоренко, Д.И., та інші
Опубліковано: (2010)

Проектирование многозондовых устройств для тестирования электронных компонентов с шариковыми выводами
за авторством: Невлюдов, И.Ш., та інші
Опубліковано: (2016)

Проектирование многозондовых устройств для тестирования электронных компонентов с шариковыми выводами
за авторством: Nevlyudov, I. Sh., та інші
Опубліковано: (2016)

Системы верификации на основе реконфигурируемых устройств
за авторством: Палагин, А.В., та інші
Опубліковано: (2004)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Верификация программ: состояние, проблемы, экспериментальные результаты. II
за авторством: Максимец, А.Н.
Опубліковано: (2014)

Верификация программ: состояние, проблемы, экспериментальные результаты. I
за авторством: Максимец, А.Н.
Опубліковано: (2013)

Параллельный алгоритм моделирования цифровых устройств с неисправностями для многоядерных систем с общей памятью
за авторством: Иванов, Д.Е.
Опубліковано: (2011)

Формальная верификация диаграммы классов
за авторством: Литвинов, В.В., та інші
Опубліковано: (2013)

ФИЗИЧЕСКАЯ МОДЕЛЬ ГРАНУЛИРОВАННОЙ ТОКОПРОВОДЯЩЕЙ СРЕДЫ
за авторством: Захарченко, С.Н.
Опубліковано: (2012)

Физическая модель гранулированной токопроводящей среды
за авторством: Захарченко, С.Н.
Опубліковано: (2012)

Применение ПЛИС для создания высокопроизводительных вычислительных систем и их компонентов
за авторством: Яковлев, Ю.С., та інші
Опубліковано: (2014)

Физическая полнота классических моделей вращения Галактики
за авторством: Витязев, В.В.
Опубліковано: (1990)

Обнаружение и верификация оптико-переменных объектов на документах, удостоверяющих личность
за авторством: Шумский, И.П., та інші
Опубліковано: (2012)

Культурный континуум как фундаментальная физическая величина
за авторством: Шаклеин, В.М.
Опубліковано: (2004)

Проектирование рабочей поверхности культиваторних лап
за авторством: Кобец, А.С., та інші
Опубліковано: (2008)

Перестраиваемые цифровые фильтры на ПЛИС
за авторством: Сергиенко, А.М., та інші
Опубліковано: (2010)

Алгоритмы распознавания строк в системах обнаружения вторжений на плис
за авторством: Давиденко, А.Н., та інші
Опубліковано: (2010)

Проектирование радиаторов с оптимальными массогабаритными параметрами
за авторством: Шило, Г.Н., та інші
Опубліковано: (2011)

Проектирование ИТ-инфраструктуры
за авторством: Крывый, С.Л., та інші
Опубліковано: (2018)

О модификации алгоритма распределения программы пользователя для реализации его на ПЛИС
за авторством: Елисеева, Е.В.
Опубліковано: (2016)

Верификация и валидация программируемых управляющих систем атомных станций
за авторством: Алпеев, А.С.
Опубліковано: (2010)

Физическая природа мономерной флуоресценции кристалла ортобромбензофенона
за авторством: Пышкин, О.С.
Опубліковано: (2009)

Метод и алгоритмы реализации на ПЛИС функции активации для искусственных нейронных сетей
за авторством: Кравец, П.И., та інші
Опубліковано: (2015)

Физическая теория полезной длительной прочности металлических кристаллов
за авторством: Ткаченко, В.Г.
Опубліковано: (2013)

Физическая природа полезной длительной прочности металлических кристаллов
за авторством: Ткаченко, В.Г.
Опубліковано: (2015)

Синергетическая тектоника. 1. Физическая природа глобальных цикличностей
за авторством: Карпенко, И.В.
Опубліковано: (2012)

Перестраиваемая структура декодера Витерби в базисе ПЛИС Xilinx
за авторством: Чичирин, Е.Н.
Опубліковано: (2015)

Модельное проектирование процессора
за авторством: Кургаев, А.Ф., та інші
Опубліковано: (2017)

Проектирование систем пожарного мониторинга в условиях неопределенности
за авторством: Землянский, А.Н., та інші
Опубліковано: (2010)