Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури
Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
Подобные документы
Аналіз пристроїв на функціональному та структурному рівнях. Дослідження теплових параметрів окремих СД та закономірностей їх взаємного інжекційно-теплового впливу. Впровадження в виробництво оптоелектронних індикаторних пристроїв з високою надійністю.
автореферат, добавлен 10.01.2014Аналіз методики верифікації інтегральних мікросхем на прикладі елементів пам’яті з використанням тестів. Залежність часу надійної експлуатації інтегральних мікросхем радіотехнічних пристроїв від умов їх експлуатації, стану поверхні кремнієвого чипу.
статья, добавлен 26.01.2017Аналіз нелінійних ефектів в аналогових і цифрових телекомунікаційних системах. Комп’ютерна діагностика спотворень з використанням рядів Вольтерри, синтез нелінійних схем і систем. проектування компенсаторів еха в основній смузі частот та телетрансмісій.
автореферат, добавлен 29.07.2014Виявлення закономірностей дії ультразвуку на основні показники процесу механічної обробки матеріалів легкої промисловості і розробка на їх основі пристроїв, що реалізують ультразвукове різання. Особливості взаємодії інструмента і оброблюваного матеріалу.
статья, добавлен 30.07.2016Розробка контактного електромагнітного методу і реалізуючих його пристроїв для спільного контролю відносної магнітної проникності і питомої електричної провідності циліндричних виробів. Методика розрахунку очікуваних значень сигналів перетворювача.
автореферат, добавлен 28.06.2014Аналіз найбільш характерних нелінійностей радіоприймального тракту пристроїв апаратури, радіорелейного, тропосферного й супутникового зв'язку; вплив на ефективність алгоритмів просторово-часового оброблення сигналів і математичні моделі цих нелінійностей.
автореферат, добавлен 07.03.2014Порівнювальна оцінка ЦСП з АСП. Загальна характеристика цифрової ієрархії ЦСП. Стисла характеристика видів модуляції, що використовується у ЦСП, структурна схема кінцевої станції. Дискретизація за часом. Управління усіма вузлами кінцевої станції.
реферат, добавлен 16.03.2011Аналіз методів і алгоритмів ідентифікації цифрових зображень в автоматизованих системах управління. Визначення субоптимальних структур систем з вбудованими ідентифікаторами при різних режимах роботи і різних типах перетворень цифрових зображень.
автореферат, добавлен 29.08.2014Класифікація систем електроживлення електронної апаратури. Переваги, принцип роботи квазірезонансних перетворювачів напруги. Методи формування плавного пуску перетворювача. Схема ланки захисту, мережевого фільтру системного блоку персонального комп’ютера.
шпаргалка, добавлен 28.12.2018Факторний аналіз інформаційної редукції сигналів багатомірних повідомлень. Основні математичні решітки. Просторова фільтрація зображень методом псевдообернення матриці сигналу. Розробка цифрових пристроїв просторово-часової фільтрації ТВ зображень.
автореферат, добавлен 28.06.2014Вивчення високомоментних матеріалів, які є одним з можливих технологічних рішень для забезпечення високої щільності запису в цифрових накопичувачах. Особливості використання додаткових підшарів состава Ni-Fe, збільшення площини магнітної анізотропії.
статья, добавлен 28.02.2017Розробка моделей у формі нескінченних сітей Петрі з деревоподібною структурою для верифікації протоколів Ethernet. Огляд фрагментів для параметричних моделей і методики оцінки продуктивності і якості обслуговування в процесі імітаційного моделювання.
автореферат, добавлен 25.09.2015Математична модель rail-to-rail операційного підсилювача. Аналіз стабільності таких операційних підсилювачів в схемах ємнісних драйверів. Розробка та дослідження низки вузлів сигнальних перетворювачів мікроелектронних сенсорних пристроїв ємнісного типу.
автореферат, добавлен 25.07.2015Підвищення чутливості та точності, розширення діапазону робочих частот та можливостей радіометричної апаратури НВЧ-діапазону. Використання нових методів, засобів перетворення, виділення та вимірювання інформативних параметрів надзвичайно слабких сигналів.
автореферат, добавлен 06.07.2014Розгляд показників надійності електронної апаратури, які є результатом механічних напружень, що виникають під час експлуатації в елементах конструкції за дії зовнішніх вібраційних та ударних впливів. Аналіз міцності та витривалості елементів структури.
статья, добавлен 09.01.2019Головна характеристика замкнено-розімкненого ладу фазового автопідстроювання. Підвищення швидкодії розроблених структур цифрових ітераційних систем тактової синхронізації. Особливість задач розширення зони синхронізму за допомогою комбінованих порядків.
автореферат, добавлен 29.09.2014Розробка ефективних методів побудови спецпроцесорів та аналого-цифрових кодерів на основі інтегрально-імпульсної інформаційної технології. Збільшення завадостійкості інформаційних повідомлень. Розроблення програмних засобів цифрового перетворення даних.
автореферат, добавлен 26.02.2015Власні функцiї та власні значення частково заповнених дiелектриком хвилеводiв. Методики проектування та iнженерного розрахунку розроблених пристроїв та елементiв для НВЧ трактiв технiки багатоканального радiозв’язку. Смуги одномодового режиму роботи.
автореферат, добавлен 05.01.2014Розробка математичних моделей для опису механічних коливальних процесів паяних силових напівпровідникових приладів. Дослідження механічних динамічних характеристик паяних силових кремнієвих діодів та тиристорів, які широко застосовуються в електротехніці.
автореферат, добавлен 23.11.2013Застосування методів форсованих випробувань для отримання залежності діагностичного параметру від часу напрацювання цифрових радіоелектронних компонентів. Застосування методу власного випромінювання для технічної діагностики радіоелектронних блоків.
статья, добавлен 27.07.2021Класифікація пристроїв синхронізації телекомунікацій. Розробка прикладних ведених пристроїв синхронізації засобів електричного зв’язку та впровадження їх в телекомунікаційні мережі з періодичними задаючими впливами, управляючими діями і величинами.
автореферат, добавлен 27.09.2014Метод підсумовування рядів у гільбертовому просторі з відтворюючим ядром для підвищення моделювання компонентів радіоелектронних пристроїв. Розв’язання граничних електродинамічних задач аналізу електромагнітного поля і моделювання резонаторних пристроїв.
автореферат, добавлен 24.07.2014Розробка структурно-функціональних схем пристроїв прецизійного формування, перетворення та вимірювання параметрів сигналів, що реалізуються у інтегральній елементній базі, на основі побудови їх математичних моделей у вигляді інтегро-диференційних рівнянь.
автореферат, добавлен 11.08.2014Розробка адекватного опису телекомунікаційної мережі, що містить структурну та функціональну моделі процесів інформаційного обміну відповідно до сформульованих вимог. Вибір системи показників якості маршрутизації на підставі її математичного опису.
автореферат, добавлен 27.07.2014Сучасний стан розвитку прецизійної радіоелектроніки. Базові поняття теорії п’єзорезонансних пристроїв. Дослідження режимів роботи цифрових вимірювальних перетворювачів. Критерії використання ланки зв’язку між кварцовим резонатором і низькодобротним.
автореферат, добавлен 26.08.2015