Генерирование тестов для цифровых схем методом булевой производной
Значение логических переменных. Тест для неисправностей внутренней линии схем. Частная булева производная. Тестовые наборы для проверки неисправностей. Формула для вычисления булевой производной. Внутренние переменные схемы. Пути к контролируемому выходу.
Подобные документы
Назначение, разработка и обоснование структурной и принципиальной схем USB удлинителя; выбор области применения проектируемого устройства. Поиск и устранение неисправностей. Расчёт материальных затрат на сырьё и материалы. Охрана труда и окружающей среды.
дипломная работа, добавлен 11.01.2011Классификация цифровых интегральных схем по назначению. Особенности простых и сложных программируемых логических устройств. Использование микросхем с возможностями многократного программирования со стиранием и записью конфигурации в специальных режимах.
лекция, добавлен 12.06.2015Роль информационных и телекоммуникационных ресурсов в современных бизнес-процессах. Рассмотрение проблем, возникающих при автоматизации производственных процессов. Специфика локализации неисправностей в информационно-телекоммуникационных системах.
статья, добавлен 19.02.2015Понятие нечеткой логики и нечетких систем, условия их применения. Нечеткие лингвистические переменные. Описание процесса нагрева воды с помощью аппарата булевой алгебры и четкой логики. Формализация процедур логического вывода в нечетких системах.
лекция, добавлен 09.10.2013Основные виды неисправностей и проблемы, распространенные в программно-аппаратной среде персонального компьютера. Элементарная проверка всех комплектующих на наличие неполадок, диагностические программы. Таблица звуковых сигналов неисправностей.
контрольная работа, добавлен 28.02.2017Преимущества математического моделирования электронных схем с помощью персональных компьютеров. Компьютерное моделирование работы схемы управления. Графический ввод схем, библиотеки программы Capture. Анализ уровня шума и разработка печатной платы.
курсовая работа, добавлен 09.05.2012- 32. Выявление и диагностирование особенностей проявления неисправностей средств вычислительной техники
Классификация неисправностей персонального компьютера. Работа с операционной системой Windows. Диагностирование материнской платы. Основной алгоритм процесса поиска и устранения неисправности. Специальные диагностические программы. Звуковые сигналы POST.
дипломная работа, добавлен 27.01.2014 Рассмотрение компонентов системного блока, подлежащего обслуживанию и ремонту. Методика проведения профилактических работ на аппаратном уровне. Универсальный алгоритм поиска неисправностей. Ремонт жестких дисков с неисправными магнитными головками.
реферат, добавлен 28.03.2015Минимизация частично определенной функции с использованием карты Карно для пяти переменных. Описание схемы с чередующимися элементами "и" и "или", ее перевод из булева базиса в универсальный. Расчет коэффициента объединения для одноступенчатых элементов.
курсовая работа, добавлен 12.06.2012Обзор методологии решения задач выполнимостей аппаратной реализации в системах автоматизированного проектирования и искусственного интеллекта. Построение алгоритма локального стохастического поиска. Разработка конфигурирования программного средства.
статья, добавлен 02.09.2013Сравнение схем нечеткого вывода. Уравнения, описывающие их. Способы создания иерархических систем: с выполнением фаззификации/дефаззификации промежуточных переменных и без нее. Отличие нечеткой энтропии от классической. Создание экспертной системы.
статья, добавлен 18.01.2018- 37. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Обозначение логического отрицания чертой над аргументом. Определение функции таблицей истинности для двух переменных. Реализация функции Пирса логическим сложением с отрицанием. Выполнение логических операций в соответствии с приоритетами и их отражение.
лабораторная работа, добавлен 10.12.2014- 39. ПЛМ Altera
Определение понятия и описание программируемых логических интегральных схем и программируемых логических матриц. История их появления, развития, а также основные производители современных вычислительных систем на основе ПЛИС и комплектующих к ним.
реферат, добавлен 01.03.2014 Вопрос выбора наилучшей оболочки для созданий тестов из множества возможных инструментов. Сравнение возможностей программного инструментария. Преимущества и недостатки систем тестирования. Создание в программе iSpring различных интерактивных заданий.
статья, добавлен 31.03.2019Основы моделирование компьютерных схем. Триггеры RS-типа на элементах потенциальной и динамической систем. Проблема обеспечения надежности работы автоматов. Методы проектирования монофункциональных схем памяти с учетом ограничения элементной базы.
контрольная работа, добавлен 05.03.2018Анализ символьных переменных, в частности их типов: Char и String. Правила написания и функции данных переменных, примеры программ с их использованием. Разработка алгоритма и программы проверки устного счета, блок-схемы и руководства пользователя.
курсовая работа, добавлен 28.06.2017Устройство жесткого диска: магнитные пластина, головки и рычаг, ось привода блока магнитных головок. Возможные причины неисправностей платы электроники, технология восстановления данных. Диагностика жесткого диска с помощью программ Windows и Victoria.
курсовая работа, добавлен 10.05.2019Единицы измерения производительности компьютера. Определение времени. Дискретные временные события. Стандарты в области оценки производительности. Виды тестов производительности процессора, файловой системы, сети. Тестовые смеси в прикладных областях.
презентация, добавлен 25.09.2017Построение таблицы истинности для заданной булевой функции и ее моделирование в среде Electronics Workbench. Проектирование цифровой схемы, состоящей из простейших элементов и, или, не. Составление логического выражения на основе таблицы истинности.
контрольная работа, добавлен 16.02.2015Формирование и выбор "хороших" безусловных безызбыточных диагностических тестов (ББДТ) как один из наиболее важных при принятии решений в интеллектуальных системах. Тест - совокупность признаков, различающих пары объектов, принадлежащих разным образам.
доклад, добавлен 19.01.2018Технология построения векторных схем с помощью объектов Фигуры и SmartArt. Образец обработки текста с помощью графики. Создание схемы прохождения диспансеризации. Алгоритм, методические принципы краткого и углубленного профилактического консультирования.
курсовая работа, добавлен 19.03.2016Рассмотрение исходных таблиц поведения автомата. Характеристика графа автомата. Особенности кодирования данных. Построение системы булевых функций для JK-триггеров. Основные принципы построения функции выхода. Реализация логической схемы автомата в EWB.
реферат, добавлен 26.05.2015Состав, предназначение и структурная схема автоматизированного рабочего места. Поиск и устранение неисправностей по ее внешнему проявлению. Методика поиска неисправности и обоснование различных вариантов поиска на структурном и на функциональном уровне.
контрольная работа, добавлен 18.01.2016Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.
статья, добавлен 26.04.2019