Трансляция VHDL программы в BDD структуры
В статье представлена автоматизированная система, упрощающая процесс верификации. Рассмотрен процесс преобразования VHDL программы в BDD структуры.
Saved in:
| Date: | 2003 |
|---|---|
| Main Author: | Закутайло, Д.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2003
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/6394 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Трансляция VHDL программы в BDD структуры / Д.А. Закутайло // Комп’ютерні засоби, мережі та системи. — 2003. — № 2. — С. 144-150. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Translation of VHDL Sequential Statements
by: Radziewicz, M.
Published: (2008)
by: Radziewicz, M.
Published: (2008)
Insertion semantics of VHDL as electronic design languge
by: O. O. Letychevskyi, et al.
Published: (2022)
by: O. O. Letychevskyi, et al.
Published: (2022)
Особенности языка VHDL для программирования кристаллов ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2006)
by: Опанасенко, В.Н., et al.
Published: (2006)
Трансляция естественно-языковых запросов к базе данных в SQL-запросы
by: Звенигородский, А.С., et al.
Published: (2012)
by: Звенигородский, А.С., et al.
Published: (2012)
Карпенко У. А. Трансляция смысла и трансформация значений первокорня
by: Глущенко, В., et al.
Published: (2014)
by: Глущенко, В., et al.
Published: (2014)
Образование как трансляция культуры (к вопросу о мультикультурном образовании)
by: Кропотова, Н.В.
Published: (2004)
by: Кропотова, Н.В.
Published: (2004)
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
by: Бибило, П.Н., et al.
Published: (2017)
by: Бибило, П.Н., et al.
Published: (2017)
Constructing Compact Tests for Functional Verification of VHDL Descriptions of the Finite State Machines
by: P. N. Bibilo, et al.
Published: (2017)
by: P. N. Bibilo, et al.
Published: (2017)
Трансляция природных мРНК. 2. Кинетические особенности трансляции наборов разных мРНК
by: Потапов, А.П., et al.
Published: (1986)
by: Потапов, А.П., et al.
Published: (1986)
Побудова VHDL-AMS моделі акселерометра ємнісного типу з врахуванням жорсткості пружин
by: Теслюк, В.М., et al.
Published: (2009)
by: Теслюк, В.М., et al.
Published: (2009)
Проектирование модулей с плавающей точкой на ПЛИС с использованием языка VHDL
by: Опанасенко, В.Н., et al.
Published: (2005)
by: Опанасенко, В.Н., et al.
Published: (2005)
Трансляция природных мРНК. I. Общий кинетический анализ процесса трансляции мРНК одного вида
by: Потапов, А.П., et al.
Published: (1986)
by: Потапов, А.П., et al.
Published: (1986)
Учебные программы
Published: (2004)
Published: (2004)
Программы рефинансирования ипотечного кредита в Украине
by: Кондрашова, Г.П.
Published: (2012)
by: Кондрашова, Г.П.
Published: (2012)
Программы профессиональной подготовки на 2017
Published: (2016)
Published: (2016)
Учебные программы на 2005 г.
Published: (2004)
Published: (2004)
Программы профессиональной подготовки на 2012 г
Published: (2011)
Published: (2011)
Программы профессиональной подготовки на 2010 г.
Published: (2009)
Published: (2009)
Программы профессиональной подготовки на 2014 г.
Published: (2013)
Published: (2013)
Программы профессиональной подготовки на 2010 г.
Published: (2009)
Published: (2009)
Программы профессиональной подготовки на 2009 г.
Published: (2008)
Published: (2008)
Программы профессиональной подготовки на 2011 г.
Published: (2010)
Published: (2010)
Программы профессиональной подготовки на 2013 г.
Published: (2012)
Published: (2012)
Программы профессиональной подготовки на 2018 г.
Published: (2017)
Published: (2017)
Программы профессиональной подготовки на 2016 г.
Published: (2015)
Published: (2015)
Пути оптимизации программы профилактики стоматологических заболеваний в Армении
by: Манрикян, М.Е.
Published: (2013)
by: Манрикян, М.Е.
Published: (2013)
Проблемы археологии в новом издании программы «Хазарский проект»
by: Цыбин, М.В.
Published: (2012)
by: Цыбин, М.В.
Published: (2012)
Разработка компьютерной программы моделирования процесса непрерывной сортовой прокатки
by: Жучков, С.М., et al.
Published: (2006)
by: Жучков, С.М., et al.
Published: (2006)
Программы ипотечного кредитования в украинских банках с иностранным капиталом
by: Дядько, Е.А.
Published: (2005)
by: Дядько, Е.А.
Published: (2005)
Глобальная корректировка БД с использованием программы AWK
by: Бочаров, Б.П., et al.
Published: (2003)
by: Бочаров, Б.П., et al.
Published: (2003)
Исследование социальной стратификации в рамках Международной программы социальных исследований
Published: (2010)
Published: (2010)
Повышение корректности многомерных оценок в процессе формирования производственной программы предприятия
by: Егупов, Ю.А.
Published: (2009)
by: Егупов, Ю.А.
Published: (2009)
О развитии Программы ЮНЕСКО «Информация для всех» в Харьковской области
by: Микитюк, А.Н., et al.
Published: (2011)
by: Микитюк, А.Н., et al.
Published: (2011)
NLP-программы и r-алгоритм в задаче энтропийно-линейного программирования
by: Стецюк, П.И., et al.
Published: (2015)
by: Стецюк, П.И., et al.
Published: (2015)
Генетические программы структурной эволюции функциональных классов электромеханических систем
by: Шинкаренко, В.Ф., et al.
Published: (2012)
by: Шинкаренко, В.Ф., et al.
Published: (2012)
Каталог астероидов из оцифрованных фотографических пластинок программы ФОН
by: Шатохина, С.В., et al.
Published: (2018)
by: Шатохина, С.В., et al.
Published: (2018)
Структура программы интеллектуальных агентов, решающих несколько задач одновременно
by: Добронравин, Ю.В.
Published: (2009)
by: Добронравин, Ю.В.
Published: (2009)
Расчет шихты металлургического процесса c использованием программы Microsoft Excel 2010
by: Чернега, Д.Ф., et al.
Published: (2013)
by: Чернега, Д.Ф., et al.
Published: (2013)
Концептуальные основы программы совершенствования механизма государственного регулирования транспорта Украины
by: Потеева, М.А.
Published: (2010)
by: Потеева, М.А.
Published: (2010)
Рамочные программы Европейского Союза и участие в них украинских ученых
by: Соловьев, В.П., et al.
Published: (2004)
by: Соловьев, В.П., et al.
Published: (2004)
Similar Items
-
Translation of VHDL Sequential Statements
by: Radziewicz, M.
Published: (2008) -
Insertion semantics of VHDL as electronic design languge
by: O. O. Letychevskyi, et al.
Published: (2022) -
Особенности языка VHDL для программирования кристаллов ПЛИС
by: Опанасенко, В.Н., et al.
Published: (2006) -
Трансляция естественно-языковых запросов к базе данных в SQL-запросы
by: Звенигородский, А.С., et al.
Published: (2012) -
Карпенко У. А. Трансляция смысла и трансформация значений первокорня
by: Глущенко, В., et al.
Published: (2014)