Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=цифровые интегральные схемы<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Непомнящий О. В. (кандидат технических наук)
Заглавие : О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС
Серия: Системы автоматизированного проектирования
Место публикации : Информационные технологии. - 2023. - Т. 29, № 1. - С.3-11. - ISSN 1684-6400 (Шифр inft/2023/29/1). - ISSN 1684-6400
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): высокоуровневый синтез--параллельное программирование--формальная верификация--цифровые интегральные схемы
Аннотация: Рассмотрен оригинальный метод и маршрут функционально-потокового синтеза сверхбольших интегральных схем. Представлен механизм редукции степени параллелизма исходных алгоритмов с учетом налагаемых ограничений целевой платформы. Предлагается использовать разработанные методы формальной верификации для подтверждения адекватности результатов трансформации исходного описания из функционально потокового языка параллельного программирования в языки описания аппаратуры.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Калашников В. С., Керре А. Л., Розенфельд В. П., Семенов М. Ю., Смирнов Ю. Г., Сотников М. А., Царапкин С. Ф.
Заглавие : Критерии качества топологии стандартных ячеек цифровых интегральных схем
Параллельн. заглавия :Layout quality criteria for CMOS standard cells of digital IC
Серия: Системы автоматизированного проектирования
Место публикации : Информационные технологии. - 2023. - Т. 29, № 9. - С.447-456. - ISSN 1684-6400 (Шифр inft/2023/29/9). - ISSN 1684-6400
УДК : 621.3
ББК : 31.2
Предметные рубрики: Энергетика
Электротехника в целом
Ключевые слова (''Своб.индексиров.''): digital integrated circuits--интегральные критерии--критерии качества--топология--трассируемость--цифровые интегральные схемы
Аннотация: Рассматриваются и систематизируются критерии качества топологии стандартных ячеек, являющихся основными элементами для разработки цифровых интегральных схем.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)