Проектування моделей цифрових автоматів для генерації тестів у середовищі Active-HDL
Розробка моделі предикатних функцій збудження управляючого автомата, підтримуючих стандарт VHDL. Проектування детермінованого методу генерації тестів для змістовного графа автомата шляхом рішення настановної задачі на предикатних функціях збудження.
Подобные документы
Особенности преобразования алфавитного отображения информации к автоматному, минимизация числа внутренних состояний и их кодировка. Синтез автомата на элементах задержки и триггерах. Построение функциональной схемы и графа микропрограммного автомата.
курсовая работа, добавлен 07.07.2012Мінімізація часу виходу на ринок цифрових систем. Синтез тестів для діагностування й локалізації несправностей надвеликих інтегральних схем. Конфігурування мікросхем пам’яті за замовленням користувача. Розпаралелювання мікрооперацій у мультипроцесорах.
автореферат, добавлен 28.07.2014Генерація тестів для цифрових логічних схем, що дозволяють підвищити повноту тестових впливів, що генеруються, і скоротити час їх побудови. Модифікування проблемно-орієнтованих генетичних операторів кросінговера та мутації для тестових послідовностей.
автореферат, добавлен 30.08.2014Підхід до побудови функціональних перевірних тестів для безконтактного індукційного методу діагностування радіоелектронних компонентів, особливості його впровадження. Огляд цифрових елементів пам'яті, мікроконтролера в якості радіоелектронних компонентів.
статья, добавлен 26.02.2017Проведение расчета и построение схемы цифрового автомата на основе принципа схемной логики. Описание последовательности цифровых кодов и выдачи управляющих сигналов проектируемого автомата. Проведение проверки правильности функционирования автомата.
курсовая работа, добавлен 24.09.2012Розробка математичних методів, алгоритмів і інструментальних засобів для проектування топології багатошарових цифрових систем. Вирішення науково-практичного завдання підвищення ефективності основних систем автоматизації проектування топології МЕП.
автореферат, добавлен 30.07.2015Разработка схемы простейшего конечного автомата на релейно-контактных элементах, RS-триггерах. Построение таблицы переходов и выходов, определение числа элементов памяти, синтез схемы асинхронного автомата. Синтез автомата на бесконтактных элементах.
контрольная работа, добавлен 03.10.2019Проведение исследования перевода системы счисления. Особенность разработки и изображения минимизированного графа полученного цифрового автомата Мили. Характеристика определения входов, выходов и количества элементов памяти структурного устройства.
контрольная работа, добавлен 21.01.2017Аналіз методу побудови передавальних функцій цифрових фільтрів, розробка підходу для зменшення кількості операцій, необхідних для їх роботи. Автоматизований процес зменшення в смузі частот сумарної параметричної чутливості модуля передавальної функції.
автореферат, добавлен 28.08.2015Построение графа синтезируемого устройства. Определение количества синхронных JK-триггеров. Переход от исходного автомата Мили к эквивалентному автомату Мура с помощью графов. Рассмотрение примера алгоритма программы по кодированию автомата Мура.
курсовая работа, добавлен 16.06.2011Применение цифровых устройств, построенных на интегральных микросхемах. Определение состояний и кодирование цифровых аппаратов. Построение графа функционирования. Таблица функционирования комбинационного узла. Выведение уравнений работы автомата.
курсовая работа, добавлен 21.10.2017Исследование особенностей структурного синтеза узлов электронно-вычислительной аппаратуры. Построение графа конечного автомата Мили. Определение типа и количества элементов памяти. Составление таблицы переходов эквивалентного конечного автомата Мура.
методичка, добавлен 25.10.2017Разработка метода уменьшения аппаратурных затрат в схеме микропрограммного автомата Мили, ориентированного на технологию гибридных FPGA и основанного на использовании модели PR-автомата и реализации системы микроопераций на встроенных блоках PLA.
статья, добавлен 26.03.2016Составление таблицы истинности работы цифрового автомата. Проверка цифрового автомата, собранного на микросхеме 74LS51, в программной среде Electronics Workbench. Расчет параметров инвертирующего усилителя, выполненного на операционном усилителе.
курсовая работа, добавлен 28.05.2014Розробка формалізованих методів побудови моделей структури і поведінки об'єктів проектування у вигляді графа станів і переходів на основі базових подій або блок-схеми алгоритму поведінки для їх аналізу. Локальні і регіональні радіоелектронні комплекси.
автореферат, добавлен 26.07.2014Построение формализованного описания работы автомата, минимизация числа внутренних состояний. Расчет временных диаграмм работы и функций переключения для заданных типов триггеров. Введение синхронизации и установки автомата в исходное состояние.
курсовая работа, добавлен 04.02.2013Построение формализованного описания работы автомата. Минимизация числа внутренних состояний. Построение кодированной таблицы переходов и выходов автомата. Введение синхронизации и установки автомата в начальное состояние. Определение функций выходов.
курсовая работа, добавлен 19.12.2016Параметры передающего устройства, структурная схема автомата. Задающий генератор, делитель частоты. Формирователь старт-стоповых синхронизирующих импульсов. Логическая модель функционирования конечного автомата. Схема согласования с каналом связи.
курсовая работа, добавлен 05.02.2013- 19. Синтез автомата
Логическая схема алгоритма работы операционного устройства. Выбор типа микропрограммного автомата, элемента памяти и элементной базы. Преобразование логической схемы алгоритма в граф-схему алгоритма. Абстрактный и структурный синтез автомата Мили.
курсовая работа, добавлен 23.09.2011 Разработка компьютерной модели автомата по управлению холодильником. Описание этапов решения данной задачи, реализации ее в программной среде Borland Delphi. Представление автомата управления в виде графа, определение основных положений для моделирования.
статья, добавлен 19.12.2017Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
автореферат, добавлен 29.09.2014Алгоритм роботи комбінаційної схеми. Упорядкування таблиці істинності. Мінімізація логічної функції за допомогою карт Карно. Реалізація заданої логічної функції на двох видах мультиплексорів. Побудова цифрових послідовних автоматів періодичної дії.
практическая работа, добавлен 19.10.2010Разработка схемы управляющего устройства, принцип работы которого был определен алгоритмом функционирования. Разработка цифрового автомата, выбор микросхем по заданному базису, учет их, расчет мощности и исследование работы цифрового автомата на переходе.
курсовая работа, добавлен 07.08.2013Преобразование алфавитного отображения к автоматному. Минимизация числа внутренних состояний автомата. Кодирование внутренних состояний автомата. Синтез структурного автомата на элементах задержки. Функции возбуждения для заданных типов триггеров.
курсовая работа, добавлен 19.12.2016Минимизация абстрактного автомата, заданного таблицей переходов и выходов. Кодирование внутренних состояний входных и выходных сигналов. Построение сигнальных реакций минимизированного автомата. Синтезирование сильного сигнала на элементах триггера.
контрольная работа, добавлен 18.10.2015