Проектування моделей цифрових автоматів для генерації тестів у середовищі Active-HDL
Розробка моделі предикатних функцій збудження управляючого автомата, підтримуючих стандарт VHDL. Проектування детермінованого методу генерації тестів для змістовного графа автомата шляхом рішення настановної задачі на предикатних функціях збудження.
Подобные документы
- 51. Розробка методів і засобів тестування цифрових пристроїв в системах покомпонентного діагностування
Розробка математичної моделі та формального апарату побудови компонентних структур об’єкту діагностування, алгоритму оцінки складності та корекції тестових програм для утвореної компонентної структури й методу адаптивного тестування цифрових об’єктів.
автореферат, добавлен 18.11.2013 Построение конечных автоматов. Переход от системы формул переходов к граф-схеме алгоритмов. Синтез входной части автомата Мура и кодирование его состояний. Таблица истинности возбуждения T-триггера и характеристика схемы запоминающей части автомата Мили.
курсовая работа, добавлен 28.01.2015- 53. Механізми збудження коливань у магнетронах на просторовій гармоніці з вторинно-емісійним катодом
Розробка математичної та комп’ютерної моделей допоміжного термокатоду, що враховує вплив поля просторового заряду на роботу магнетрона. Дослідження закономірностей та характеристик холодного запуску магнетронів за допомогою модуляції анодної напруги.
автореферат, добавлен 17.07.2015 Генератор тактовых импульсов. Разработка функциональной и принципиальной схем управляющего устройства цифрового автомата, реализующего микропрограммный принцип построения: "одно состояние – одна микрокоманда". Асинхронный триггер с инверсными входами.
курсовая работа, добавлен 04.05.2015Синтез схемы на JK- и T-триггерах со структурой автомата Мура: определение количества входов и выходов, триггеров. Кодирование входного и выходного слова. Построение абстрактной таблицы переходов. Синтез схемы в MicroCap. Минимизация нескольких функций.
контрольная работа, добавлен 14.07.2012Принцип роботи автомату. Спеціальні вершини безумовного переходу. Формування вмісту керуючої пам'яті автомата з природною адресацією. Комбінація на вході дешифратора. Синтез лічильника з крізним перенесенням. Автомат з природною адресацією мікрокоманд.
контрольная работа, добавлен 27.08.2013Розробка математичної моделі відгуків багатопозиційних цифрових антенних решіток на сигнали, що надходять на приймальну підсистему мобільної системи зв’язку та радіолокації. Застосування лінійних та плоских цифрових антенних решіток та методу MIMO.
статья, добавлен 27.07.2016Автомат з комбінованою адресацією як комбінація з автоматів з примусовою і природною адресацією. Вершини безумовного переходу. Формування вмісту керуючої пам'яті. Побудування автомату з комбінованою адресацією мікрокоманд. Кодування мікрооперацій.
контрольная работа, добавлен 27.08.2013Дослідження та визначення перспектив розвитку вакуумного та твердотільного чутливих елементів у рентгенівських телевізійних системах неруйнівного контролю. Розробка цифрової нелінійної моделі генерації випромінювання імпульсними рентгенівськими трубками.
автореферат, добавлен 29.09.2015Методи синтезу ЦПНЛ, що забезпечують: швидкодію та точність фаззифікації сигналів з функціями належності трикутної та гаусівської форм. Розробка бібліотеки VHDL-моделей для апаратного синтезу на основі програмованої логіки, імітаційного моделювання.
автореферат, добавлен 25.06.2014Задача проектування цифрового фільтра зводиться до того, щоб певним чином розрахувати коефіцієнти передаточної функції. Розрахунок цифрового не рекурсивного фільтра за методом "вікна". Використовування фільтрів нижніх частот і смуго-пропускаючих фільтрів.
контрольная работа, добавлен 22.04.2010Етапи проектування комбінаційних пристроїв, мінімізація логічної функції за допомогою аналітичного методу. Побудова схеми згідно одержаної мінімізованої функції, приведеної до загального базису. Практичне застосування знань з цифрової мікросхемотехніки.
курсовая работа, добавлен 05.06.2009Розробка основних принципів та моделей процесу діагностування пристроїв системи модернізації АТС на етапах її проектування, виробництва та експлуатації. Методика комбінованого поетапного діагностування цифрового обладнання. Алгоритм його реалізації.
автореферат, добавлен 27.04.2014Реализация синхронного реверсивного двоично-десятичного счетчика в среде Active HDL двумя методами: структурно и с помощью конечных автоматов. Построение временной диаграммы работы дешифратора при обратном счёте. Синтез счётчика при помощи автомата.
контрольная работа, добавлен 22.01.2014Временная диаграмма генератора импульсов. Таблица функционирования счетчика. Схема работы дешифратора. Описание электрической принципиальной схемы дискретного устройства. Число информационных входов мультиплексора. Кодирование и отметка дуг графа.
курсовая работа, добавлен 08.02.2014Розробка методики одержання структур цифрових фільтрів по схемах аналогових прототипів. Проектування структур цифрових фільтрів за схемами аналогових RC фільтрів. Спосіб кодування графічної інформації з використанням принципу частотної модуляції.
автореферат, добавлен 25.02.2014Розробка структур високоточних швидкодіючих самокаліброваних аналого-цифрових перетворювачів порозрядного врівноваження з перерозподілом заряду, зменшення статичних похибок. Розробка та оцінка рекомендацій щодо проектування АЦП з перерозподілом заряду.
автореферат, добавлен 29.08.2013Синтез схемы управления перемещения механизма по циклу. Определение логического выражения для выходной переменной, построение карты Карно. Кодирование состояний автомата, построение автоматного графа. Определение функций возбуждения памяти и выхода.
курсовая работа, добавлен 03.05.2017Оптимізація моделі розподілу мережного трафіку для інформаційної системи, яка має критичні обмеження щодо його проходження. Рішення задачі невідомих декад, шляхом застосування теореми Байєса, принципи формування ймовірнісного простору та класифікатору.
статья, добавлен 30.01.2016Розробка методу та програмно-алгоритмічного засобу оптимізації параметрів функцій належності вхідних сигналів цифрових керуючих пристроїв, удосконалення градієнтної процедури параметричної оптимізації вихідних сигналів НКП Сугено- та Мамдані-типу.
автореферат, добавлен 29.07.2014Проектування локальної мережі 10 Gigabit Ethernet, стандарт IEEE 802.3 aе. Мережеві карти. Склад та огляд моделей. Крітерії вибору та схеми обтиску кабелю. Мережа із застосуванням електричної проводки. Розрахунок параметрів мережі та її вартості.
контрольная работа, добавлен 23.03.2009Аналіз методу проектування лінзи Френеля на корпусі довільної форми, яка виконує роль оптичної системи приладу. Векторна форма закону Снеліуса для визначення геометричних параметрів внутрішньої поверхні. Розрахунок векторів нормалі плоских сегментів.
статья, добавлен 26.01.2017Роль тестового контролю в організації і проведенні навчального процесу. Аспекти застосування засобів програмної інженерії для розробки електронної підтримки професійно орієнтованих тестів в процесі підготовки майбутніх фахівців вищого навчального закладу.
статья, добавлен 06.02.2020Проектування топології мікросхеми, вибір конструкції активних елементів, розрахунок пасивних елементів та площі кристалу. Проектування гібридної та напівпровідникової мікросхеми. Випуск конструкторської документації, топологічне і пошарове креслення.
курсовая работа, добавлен 24.08.2014Проект мікропроцесорної системи обробки даних на базі мікроконтролеру AtMega8515. Розробка структурної а принципової схем МПС. Розподіл адресного простору блоку індикації цифрових і аналогових каналів. Програмування алгоритму роботи матричної клавіатури.
курсовая работа, добавлен 05.10.2016