Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=цифровые интегральные схемы<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Непомнящий, О. В. (кандидат технических наук).
О корректности эквивалентных преобразований в процессе функционально-потокового, высокоуровневого синтеза СБИС [Текст] / О. В. Непомнящий // Информационные технологии. - 2023. - Т. 29, № 1. - С. 3-11 . - ISSN 1684-6400

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
высокоуровневый синтез -- параллельное программирование -- формальная верификация -- цифровые интегральные схемы
Аннотация: Рассмотрен оригинальный метод и маршрут функционально-потокового синтеза сверхбольших интегральных схем. Представлен механизм редукции степени параллелизма исходных алгоритмов с учетом налагаемых ограничений целевой платформы. Предлагается использовать разработанные методы формальной верификации для подтверждения адекватности результатов трансформации исходного описания из функционально потокового языка параллельного программирования в языки описания аппаратуры.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Критерии качества топологии стандартных ячеек цифровых интегральных схем [Текст] = Layout quality criteria for CMOS standard cells of digital IC / В. С. Калашников, А. Л. Керре, В. П. Розенфельд [и др.] // Информационные технологии. - 2023. - Т. 29, № 9. - С. 447-456 . - ISSN 1684-6400

УДК

^a621.3

ББК 31.2
Рубрики: Энергетика
Электротехника в целом
Кл.слова (ненормированные):
digital integrated circuits -- интегральные критерии -- критерии качества -- топология -- трассируемость -- цифровые интегральные схемы
Аннотация: Рассматриваются и систематизируются критерии качества топологии стандартных ячеек, являющихся основными элементами для разработки цифровых интегральных схем.

Доп.точки доступа:
Калашников, В. С. (кандидат технических наук); Керре, А. Л. (ведущий инженер); Розенфельд, В. П. (руководитель направления); Семенов, М. Ю. (кандидат технических наук); Смирнов, Ю. Г. (ведущий инженер); Сотников, М. А. (кандидат технических наук); Царапкин, С. Ф. (исполнительный директор)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)