Приложение
для AndroidПолное описание
Дьячков, Ю. В. Разработка моделей и алгоритмов функциональной верификации при проектировании программируемых логических интегральных схем : автореф. дис. ... анд. техн. наук : 05.13.12 / Ю. В. Дьячков. - Воронеж : [б. и.], 2010. - 16 с. : ил. - Библиогр.: с. 15-16 (18 назв.). - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.09.29 | 004.312'12(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Альшаэр Фахед.Автоматизация тестового диагностирования дискретных устройств ЭВМ на БИС(СБИС) ПЛМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / Альшаэр Фахед, 1991. - 15 с. - Текст : непосредственный.Белоусов В.В. Автоматизированная система диагностирования дефектов расширенного класса в ТЭЗах цифровой аппаратуры : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05:05.13.13 / В. В. Белоусов, 1991. - 18 с. - Текст : непосредственный.Демьянчук Т.М. Устройства контроля динамических параметров цифровых интегральных схем : Автореферат диссертации на соискание ученой степени канд.техн.наук в форме науч.доклада:05.13.05 / Т. М. Демьянчук, 1990. - 18 с. - Текст : непосредственный.Кардаш С.Н. Диалоговая система синтеза комбинационных логических схем в базисе ПЛМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / С. Н. Кардаш, 1991. - 16 с. - Текст : непосредственный.Гуров С.И. Аппроксимация подмножеств n-мерного единичного куба множествами единиц монотонных булевых функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / С. И. Гуров, 1991. - 18 с. - Текст : непосредственный.Мараховский В.Б. Проектирование самосинхронных схем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05 / В. Б. Мараховский, 1991. - 52 с. - Текст : непосредственный.Турсунбаев Ф.К. Разработка и моделирование статических многозначных структур и управление их состояниями : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.01,05.13.05 / Ф. К. Турсунбаев, 1991. - 30 с. - Текст : непосредственный.Хлыбов А.И. Разработка комплексной системы повышения помехоустойчивости скоростных интегральных микросхем на арсениде галлия : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.01 / А. И. Хлыбов, 1992. - 31 с. - Текст : непосредственный.Павловская Т.А. Метод расчета и улучшения показателей тестируемости цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Т. А. Павловская, 1992. - 16 с. - Текст : непосредственный.Бибило П.Н. Декомпозиционные методы логического синтеза дискретных устройств на программируемых матричных структурах : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05;05.13.12 / П. Н. Бибило, 1992. - 31 с. - Текст : непосредственный.Карпов С.А. Метод и средства проектирования самосинхронных схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:06.13.05 / С. А. Карпов, 1993. - 16 с. - Текст : непосредственный.Система XACT для разработки интегральных схем на основе матрицы LCA / ВЦП. - 116 c. - Текст : непосредственный.Вишняков Ю.М. Разработка и исследование методов проектирования дискретных устройств для интегрированных инструментальных систем со сквозным циклом проектирования : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.12:05.13.14 / Ю. М. Вишняков, 1993. - 36 с. - Текст : непосредственный.Галецкий В.М. Аппаратно-ориентированные методы контроля генераторов псевдослучайных чисел : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05 / В. М. Галецкий, 1994. - 16 с. - Текст : непосредственный.Изосимов О.А. Методы синтеза и динамического анализа самосинхронных КМДП СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / О. А. Изосимов, 1994. - 15 с. - Текст : непосредственный.Миронов С.Э. Проектирование плотноупакованной топологии фрагментов цифровых КМОП БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Э. Миронов, 1994. - 15 с. - Текст : непосредственный.Яккер В.М. Преобразование и логическая компиляция спецификаций самосинхронных схем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / В. М. Яккер, 1993. - 16 с. - Текст : непосредственный.Скобцов Ю.А. Исследование и разработка многозначных алфавитов и функций для моделирования и построения тестов дискретных устройств : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.13 / Ю. А. Скобцов, 1993. - 43 с. - Текст : непосредственный.Сидоров М.П. Разработка методики для автоматизации синтеза цифровых устройств на наборе приборов ПМЛ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / М. П. Сидоров, 1994. - 18 с. - Текст : непосредственный.Горбатова М.В. Графово-трассовый подход к оценке переходных процессов в ПЛИС на этапе логического проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05:05.13.12 / М. В. Горбатова, 1994. - 20 с. - Текст : непосредственный.
Показать все результатыМараховский В.Б. Проектирование самосинхронных схем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05 / В. Б. Мараховский, 1991. - 52 с. - Текст : непосредственный.Хлыбов А.И. Разработка комплексной системы повышения помехоустойчивости скоростных интегральных микросхем на арсениде галлия : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.27.01 / А. И. Хлыбов, 1992. - 31 с. - Текст : непосредственный.Карпов С.А. Метод и средства проектирования самосинхронных схем : Автореферат диссертации на соискание ученой степени канд.техн.наук:06.13.05 / С. А. Карпов, 1993. - 16 с. - Текст : непосредственный.Миронов С.Э. Проектирование плотноупакованной топологии фрагментов цифровых КМОП БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. Э. Миронов, 1994. - 15 с. - Текст : непосредственный.Яккер В.М. Преобразование и логическая компиляция спецификаций самосинхронных схем : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / В. М. Яккер, 1993. - 16 с. - Текст : непосредственный.Горбатова М.В. Графово-трассовый подход к оценке переходных процессов в ПЛИС на этапе логического проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.05:05.13.12 / М. В. Горбатова, 1994. - 20 с. - Текст : непосредственный.Брич В.Г. Модели, алгоритмы и средства архитектурного трансформационного синтеза цифровых систем : Автореферат диссертации на соискание ученой степени канд. техн.наук:05.13.12 / В. Г. Брич, 1994. - 25 с. - Текст : непосредственный.Белоус А.И. Конструктивно-схематические методы проектирования элементной базы цифровых биполярных БИС : Автореферат диссертации на соискание ученой степени д-ра техн. наук:05.27.01 / А. И. Белоус, 1999. - 48 с. - Текст : непосредственный.Волков А.Н. Метод коррекции временных задержек на топологических элементах сегментированных матриц соединений в САПР ПЛИС : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. Н. Волков, 2000. - 16 с. - Текст : непосредственный.Ковалев А.В. Разработка и исследование методов проектирования цифровых заказных СБИС : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.27.01,05.13.12 / А. В. Ковалев, 2001. - 22 с. - Текст : непосредственный.Лешенко Д.Н. Автоматизация проектирования приборно-технологического базиса цифровых интегральных микросхем : Дис. на соискание ученой степени канд. техн. наук в форме науч. докл.: 05.27.05 / Д. Н. Лешенко, 1989. - 18 с. - Текст : непосредственный.Исаева Т.Ю. Разработка и исследование методов логического синтеза быстродействующих цифровых КМОП БИС : автореф. дис. .. канд. техн. наук : 05.13.12 / Т. Ю. Исаева, 2002. - 21 с. - Текст : непосредственный.Глебов А.Л. Методы анализа и оптимизации цифровых КМОП СБИС : автореф. дис. .. д-ра техн. наук : 05.13.12 / А. Л. Глебов, 2003. - 45 с. - Текст : непосредственный.Zimmermann M. Expertensystem f:ur den Entwurf von testfreundlichen integrierten Digitalschaltungen : Diss. / M.Zimmermann, 1991. - 127 S. - Текст : непосредственный. Despres B. Unterstutzung der Konsistenzsicherung beim Entwurf digitaler Schaltungen durch die objektorientierte IREEN Datenbank : Diss. / B.Despres, 1996. - v,203 S. S. - Текст : непосредственный.Hillner H. Synthese kontinuierlicher und diskreter Optimierungsverfahren zur Gate-Array Plazierung : Diss. / H.Hillner, 1989. - 98 S. - Текст : непосредственный.Садовая И.М. Оценка точности моделей задержек фрагментов субмикронных МОП БИС : автореф. дис. .. канд. техн. наук : 05.13.05 / И. М. Садовая, 2004. - 16 с. - Текст : непосредственный.Методика проектирования сложных цифровых блоков в базисе ПЛИС : автореф. дис. .. канд. техн. наук : 05.13.12 / К.В. Куликов, 2005. - 16 с. - Текст : непосредственный.Соловьев Р.А. Методы анализа помех, влияющих на быстродействие цифровых КМОП схем : автореф. дис. .. канд. техн. наук : 05.13.12 / Р. А. Соловьев, 2007. - 23 с. - Текст : непосредственный.Дьячков Ю.В. Разработка моделей и алгоритмов функциональной верификации при проектировании программируемых логических интегральных схем : автореф. дис. .. анд. техн. наук : 05.13.12 / Ю. В. Дьячков, 2010. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽