Buchumschlag

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

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2003
1. Verfasser:	Закутайло, Д.А.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2003
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/6394
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Трансляция VHDL программы в BDD структуры / Д.А. Закутайло // Комп’ютерні засоби, мережі та системи. — 2003. — № 2. — С. 144-150. — Бібліогр.: 3 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Translation of VHDL Sequential Statements
von: Radziewicz, M.
Veröffentlicht: (2008)

Insertion semantics of VHDL as electronic design languge
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

Особенности языка VHDL для программирования кристаллов ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2006)

Трансляция естественно-языковых запросов к базе данных в SQL-запросы
von: Звенигородский, А.С., et al.
Veröffentlicht: (2012)

Карпенко У. А. Трансляция смысла и трансформация значений первокорня
von: Глущенко, В., et al.
Veröffentlicht: (2014)

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

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
von: Бибило, П.Н., et al.
Veröffentlicht: (2017)

Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines
von: P. N. Bibilo, et al.
Veröffentlicht: (2017)

Трансляция природных мРНК. 2. Кинетические особенности трансляции наборов разных мРНК
von: Потапов, А.П., et al.
Veröffentlicht: (1986)

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

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

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

Учебные программы
Veröffentlicht: (2004)

Инвестиции в иновационные программы электроэнергетики
von: Кузьменко, С.В.
Veröffentlicht: (2004)

ФОНАК: астрографический каталог программы ФОН
von: Кислюк, В.С., et al.
Veröffentlicht: (2000)

Программы рефинансирования ипотечного кредита в Украине
von: Кондрашова, Г.П.
Veröffentlicht: (2012)

Учебные программы на 2005 г.
Veröffentlicht: (2004)

Программы профессиональной подготовки на 2017
Veröffentlicht: (2016)

Болонский процесс: докторские программы в европейских университетах
von: Лобанова, Л.С., et al.
Veröffentlicht: (2009)

Программы профессиональной подготовки на 2012 г
Veröffentlicht: (2011)

Программы профессиональной подготовки на 2011 г.
Veröffentlicht: (2010)

Программы профессиональной подготовки на 2010 г.
Veröffentlicht: (2009)

Программы профессиональной подготовки на 2014 г.
Veröffentlicht: (2013)

Программы профессиональной подготовки на 2018 г.
Veröffentlicht: (2017)

Программы профессиональной подготовки на 2009 г.
Veröffentlicht: (2008)

Программы профессиональной подготовки на 2016 г.
Veröffentlicht: (2015)

Программы профессиональной подготовки на 2010 г.
Veröffentlicht: (2009)

Программы профессиональной подготовки на 2013 г.
Veröffentlicht: (2012)

Разработка компьютерной программы моделирования процесса непрерывной сортовой прокатки
von: Жучков, С.М., et al.
Veröffentlicht: (2006)

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

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

Затменные переменные в площадке № 1 программы «Млечный путь»
von: Закиров, М.М.
Veröffentlicht: (1990)

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

Глобальная корректировка БД с использованием программы AWK
von: Бочаров, Б.П., et al.
Veröffentlicht: (2003)

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

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

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

NLP-программы и r-алгоритм в задаче энтропийно-линейного программирования
von: Стецюк, П.И., et al.
Veröffentlicht: (2015)

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

Генетические программы структурной эволюции функциональных классов электромеханических систем
von: Шинкаренко, В.Ф., et al.
Veröffentlicht: (2012)