Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури
Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
Подобные документы
Розробка структур високоточних швидкодіючих самокаліброваних аналого-цифрових перетворювачів порозрядного врівноваження з перерозподілом заряду, зменшення статичних похибок. Розробка та оцінка рекомендацій щодо проектування АЦП з перерозподілом заряду.
автореферат, добавлен 29.08.2013Розробка теоретичних і технологічних засад кінематичної фотограмметрії при використанні цифрових знімальних систем. Засоби і процедура реєстрації просторового положення знімальної апаратури. Апробація методик в різних галузях науки та виробництва.
автореферат, добавлен 14.09.2014Структури аналогових і цифрових розімкнених систем фазового автопідстроювання (ФАП). Аналіз чутливості систем ФАП до параметричних збурень при застосуванні екстраполюючих коригуючих пристроїв. Вимоги до лінійності характеристик попереднього підсилювача.
автореферат, добавлен 24.06.2014Розробка математичного апарату для опису залежності параметра візуалізації серії, що усуває психовізуальну надмірність відеоданих. Функціонування систем автоматизованого управління. Кодування параметрів серій. Розроблення алгоритмів стиску зображень.
автореферат, добавлен 07.03.2014Підходи до проектування однотипних смужкових лінійних взаємних пасивних пристроїв. Дослідження теорії симетричних спрямованих восьмиполюсників. Розробка аналітичних методів розрахунку багатоканальних променевих перемикачів та дискретних фазообертачів.
автореферат, добавлен 29.03.2016Розробка моделі предикатних функцій збудження управляючого автомата, підтримуючих стандарт VHDL. Проектування детермінованого методу генерації тестів для змістовного графа автомата шляхом рішення настановної задачі на предикатних функціях збудження.
автореферат, добавлен 12.02.2014Аналіз методології часткової динамічної реконфігурації компанії, що реалізована на базі широко використовуваних розробниками стандартних засобів проектування цифрових пристроїв на ПЛІС. Особливості створення мікросхем сімейств на базі програми Virtex 4.
статья, добавлен 29.08.2016Механізми струмопроходження та електрофізичні властивості бар’єрних структур на основі органічних напівпровідникових матеріалів. Розробка технології тонкоплівкових фотоперетворювачів та сенсорних пристроїв на основі органічних бар’єрних структур.
автореферат, добавлен 26.09.2015Оцінка найбільш характерних відмов та несправностей, що виникають при експлуатації контакторів на літальних апаратах. Основні методи діагностики та профілактики комутаційної апаратури. Формула для визначення сигналу на виході цифрового вольтметра.
дипломная работа, добавлен 10.11.2017- 60. Радіовимірювальні перетворювачі для визначення товщини плівок на основі пристроїв з від’ємним опором
Дослідження властивостей радіовимірювальних перетворювачів для визначення товщини плівок на основі пристроїв з від’ємним опором. Розрахунок динамічних характеристик перетворювачів з врахуванням залежності параметрів елементів пристроїв від впливу товщини.
автореферат, добавлен 30.07.2015 Розробка рідкокристалічних оптоелектронних пристроїв для координатного переміщення оптичного випромінювання. Текстурний та фазовий перехід в рідких кристалах. Розкручування гелікоїда за наявності температурного градієнта, електричного і магнітного полів.
автореферат, добавлен 27.07.2014Порівняння експериментальних результатів досліджень амплітудних і частотних характеристик багатофункціональних параметричних зонних пристроїв. Розробка практичних рекомендацій по підвищенню швидкодії пристроїв на основі параметричних зонних систем.
автореферат, добавлен 23.08.2014Шляхи побудови ефективних термометричних калібраторів на основі активних імітаторів опору. Розробка методики аналізу та синтезу структур калібраторів електричних величин. Створення пристроїв автоматизованої повірки засобів вимірювання температури.
автореферат, добавлен 15.11.2013Виведення рівняння стану досліджуваних електромагнітних пристроїв за наявності накопичувачів та з урахуванням нелінійностей намагнічування. Розробка методики застосування моделі чутливостей до початкових умов для аналізу ферорезонансних режимів.
автореферат, добавлен 07.03.2014- 65. Розвиток методів аналізу і принципів побудови активних пристроїв з високим коефіцієнтом корисної дії
Розробка принципів побудови активних пристроїв з високим ККД і їх вузлів. Характеристика зразків підсилювачів та автогенераторів. Розгляд алгоритмів моделювання, їх перевірка та інтерпретація результатів для ряду пристроїв, оптимізація їх параметрів.
автореферат, добавлен 27.07.2015 - 66. Методи та засоби теплового проектування мікроелектронних пристроїв з кристалами на жорстких виводах
Сучасні тенденції розвитку електронних систем. Врахування теплових факторів у процесі проектування мікроелектронних пристроїв. Аналіз температурних полів елементів з кристалами на жорстких виводах. Дослідження процесів теплообміну в режимі функціонування.
автореферат, добавлен 24.06.2014 Порівняльний аналіз структур і системних характеристик процесорів цифрової обробки та формування даних. Формалізація операцій й розробка цифрових операційних пристроїв у базисі Крестенсона-Галуа. Розробка та імплементація високошвидкісного RCG–процесора.
автореферат, добавлен 14.09.2014Опис зовнішнього вигляду, призначення, характеристик та режимів роботи апаратури типу В-2-2. Визначення дальності зв’язку апаратури та постійної витрати струму. Розробка структурної схеми обладнання станції. Опис процесу підготовки станції до роботи.
практическая работа, добавлен 26.09.2017Опис апаратури системи "Курс". Теорія побудови планарних фазованих антенних решіток із коловою поляризацією. Розробка топології антенної решітки пеленгаційного модуля системи автоматичного стикування космічних апаратів. Охорона та безпека праці.
дипломная работа, добавлен 11.06.2015Аналіз існуючих методів кодування цифрових голосових сигналів. Дослідження статистичних властивостей дискретного перетворення Уолша. Розробка процедури визначення типу блока, фільтрації. Удосконалення методу стиску і відновлення коефіцієнтів трансформант.
автореферат, добавлен 24.07.2014- 71. Методи структурного синтезу базових арифметичних функціональних пристроїв з підвищеною швидкодією
Аналіз і узагальнення відомих рішень побудови суматорів цілих чисел і підсумовуючих пристроїв чисел з плаваючою комою. Розробка та обґрунтування методів структурного синтезу базових арифметичних функціональних пристроїв цифрової обчислювальної техніки.
автореферат, добавлен 29.09.2014 Загально технічні вимоги до електровимірювальних пристроїв, їх класифікація та особливості монтажу. Характеристика основних схем вмикання для різних вимірювань. Методи усунення можливих несправностей. Вимоги безпеки праці при обслуговуванні приладів.
курсовая работа, добавлен 21.06.2011Аналіз методу підвищення завадостійкості приймальних пристроїв радіотехнічних комплексів та космічних каналів зв'язку, передачі даних в умовах трансіоносферного розповсюдження хвилі, на основі аналізу впливу збурень іоносфери землі на параметри сигналів.
автореферат, добавлен 27.09.2014Вирішення науково-технічних задач з покращення якості локальних систем і пристроїв управління мережами і послугами телекомунікацій. Розробка і обґрунтування концепції мережі управління телекомунікаціями TMN. Синтез коригуючих пристроїв замкненого контуру.
автореферат, добавлен 28.08.2014Впровадження нових методів вимірювання. Збільшення швидкості завдяки використанню цифрових частотомірів. Аналіз принципів роботи для середніх значень. Розгляд структурних схем, часових діаграм з синхронізаціє початку, без неї та з перемиканням діапазонів.
статья, добавлен 29.06.2016