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

Трансляция VHDL программы в BDD структуры

В статье представлена автоматизированная система, упрощающая процесс верификации. Рассмотрен процесс преобразования VHDL программы в BDD структуры.

Збережено в:

Бібліографічні деталі
Дата:	2003
Автор:	Закутайло, Д.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2003
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/6394
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Трансляция VHDL программы в BDD структуры / Д.А. Закутайло // Комп’ютерні засоби, мережі та системи. — 2003. — № 2. — С. 144-150. — Бібліогр.: 3 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

Translation of VHDL Sequential Statements
за авторством: Radziewicz, M.
Опубліковано: (2008)

Insertion semantics of VHDL as electronic design languge
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)

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

Трансляция естественно-языковых запросов к базе данных в SQL-запросы
за авторством: Звенигородский, А.С., та інші
Опубліковано: (2012)

Карпенко У. А. Трансляция смысла и трансформация значений первокорня
за авторством: Глущенко, В., та інші
Опубліковано: (2014)

Образование как трансляция культуры (к вопросу о мультикультурном образовании)
за авторством: Кропотова, Н.В.
Опубліковано: (2004)

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
за авторством: Бибило, П.Н., та інші
Опубліковано: (2017)

Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines
за авторством: P. N. Bibilo, та інші
Опубліковано: (2017)

Трансляция природных мРНК. 2. Кинетические особенности трансляции наборов разных мРНК
за авторством: Потапов, А.П., та інші
Опубліковано: (1986)

Побудова VHDL-AMS моделі акселерометра ємнісного типу з врахуванням жорсткості пружин
за авторством: Теслюк, В.М., та інші
Опубліковано: (2009)

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

Трансляция природных мРНК. I. Общий кинетический анализ процесса трансляции мРНК одного вида
за авторством: Потапов, А.П., та інші
Опубліковано: (1986)

Учебные программы
Опубліковано: (2004)

Программы рефинансирования ипотечного кредита в Украине
за авторством: Кондрашова, Г.П.
Опубліковано: (2012)

Программы профессиональной подготовки на 2017
Опубліковано: (2016)

Учебные программы на 2005 г.
Опубліковано: (2004)

Программы профессиональной подготовки на 2012 г
Опубліковано: (2011)

Программы профессиональной подготовки на 2010 г.
Опубліковано: (2009)

Программы профессиональной подготовки на 2014 г.
Опубліковано: (2013)

Программы профессиональной подготовки на 2010 г.
Опубліковано: (2009)

Программы профессиональной подготовки на 2009 г.
Опубліковано: (2008)

Программы профессиональной подготовки на 2011 г.
Опубліковано: (2010)

Программы профессиональной подготовки на 2013 г.
Опубліковано: (2012)

Программы профессиональной подготовки на 2018 г.
Опубліковано: (2017)

Программы профессиональной подготовки на 2016 г.
Опубліковано: (2015)

Пути оптимизации программы профилактики стоматологических заболеваний в Армении
за авторством: Манрикян, М.Е.
Опубліковано: (2013)

Проблемы археологии в новом издании программы «Хазарский проект»
за авторством: Цыбин, М.В.
Опубліковано: (2012)

Разработка компьютерной программы моделирования процесса непрерывной сортовой прокатки
за авторством: Жучков, С.М., та інші
Опубліковано: (2006)

Программы ипотечного кредитования в украинских банках с иностранным капиталом
за авторством: Дядько, Е.А.
Опубліковано: (2005)

Глобальная корректировка БД с использованием программы AWK
за авторством: Бочаров, Б.П., та інші
Опубліковано: (2003)

Исследование социальной стратификации в рамках Международной программы социальных исследований
Опубліковано: (2010)

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

О развитии Программы ЮНЕСКО «Информация для всех» в Харьковской области
за авторством: Микитюк, А.Н., та інші
Опубліковано: (2011)

NLP-программы и r-алгоритм в задаче энтропийно-линейного программирования
за авторством: Стецюк, П.И., та інші
Опубліковано: (2015)

Генетические программы структурной эволюции функциональных классов электромеханических систем
за авторством: Шинкаренко, В.Ф., та інші
Опубліковано: (2012)

Каталог астероидов из оцифрованных фотографических пластинок программы ФОН
за авторством: Шатохина, С.В., та інші
Опубліковано: (2018)

Структура программы интеллектуальных агентов, решающих несколько задач одновременно
за авторством: Добронравин, Ю.В.
Опубліковано: (2009)

Расчет шихты металлургического процесса c использованием программы Microsoft Excel 2010
за авторством: Чернега, Д.Ф., та інші
Опубліковано: (2013)

Концептуальные основы программы совершенствования механизма государственного регулирования транспорта Украины
за авторством: Потеева, М.А.
Опубліковано: (2010)

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