Генерирование тестов для цифровых схем методом булевой производной
Значение логических переменных. Тест для неисправностей внутренней линии схем. Частная булева производная. Тестовые наборы для проверки неисправностей. Формула для вычисления булевой производной. Внутренние переменные схемы. Пути к контролируемому выходу.
Подобные документы
Раскрытие понятия математической логики. Логические схемы компьютера, основанные на булевой алгебре. Характеристика логических операций: основных и производных, приоритеты операций. Основные законы Булевой алгебры. Логические элементы компьютера.
реферат, добавлен 13.09.2015Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020Схема проверки и диагностики неисправностей цифровых электронных модулей, электронных компонентов. Метод исследования и проектирования оборудования для проверки и диагностики неисправностей цифровых электронных модулей с использованием продуктов Huntron.
статья, добавлен 13.01.2021Изучение классификации моделей информационного поиска. Рассмотрение булевой, векторной и вероятностной моделей. Описание схемы вычисления весов термов и метода нормализации весов по длине в байтах. Изучение критериев точности запроса и качества индекса.
презентация, добавлен 06.01.2014NP-полнота задачи о выполнимости булевой формулы. Решение задачи за полиномиальное время на недетерминированной машине Тьюринга. Определение набора значений переменных. Трансформация задачи о клике в задачу о вершинном покрытии и о гамильтоновом цикле.
презентация, добавлен 28.01.2015Понятие о логических элементах и построение таблиц истинности в Ms Excel. Применение программных кодов VBA, реализующих кнопочный ввод входных параметров логических элементов для проверки функционирования логических элементов и функциональных схем.
методичка, добавлен 29.01.2021Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Уменьшение вычислительной сложности алгоритма реализации булевой функции в классе субоптимальных бинарных программ. Изучение сравнительных сложностей квантовых и классических бинарных программ, ориентируясь на возможности организации квантовых вычислений.
статья, добавлен 18.07.2013Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Математические методы Ньютона и дихотомии для нахождения корней уравнения и интеграла. Нахождение точек локальных экстремумов, корней уравнения методом хорд и интеграла методом правых прямоугольников. Построение графика заданной функции и её производной.
курсовая работа, добавлен 17.12.2015Проблема снижения энергопотребления цифровых систем, построенных на элементной базе микросхем FPGA. Традиционные пути снижения энергопотребления в цифровых системах. Анализ использования естественных возможностей конвейеризации схем в FPGA-проектах.
статья, добавлен 30.07.2016Подготовка дифференциального уравнения к моделированию на ЭВМ методом понижения порядка производной, его график. Параметрическая оптимизация замкнутых по отклонению систем автоматического регулирования с моделью реального объекта и типовым регулятором.
курсовая работа, добавлен 24.02.2015Перевод из десятичной системы счисления в шестнадцатеричную. Получение прямого, обратного и дополнительного кода для числа. Преимущество использования чисел в формате с плавающей запятой. Определение минимальной и сокращенной ДНФ для булевой функции.
контрольная работа, добавлен 23.11.2012Определение первой производной в Mathcad. Использование специального оператора Nth Derivative панели Calculus для вычисления производных высших порядков. Аналитическое, символьное и численное нахождение неопределенного и определенного интегралов.
контрольная работа, добавлен 21.10.2013Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015Понятие принтеров как устройств вывода текстовой и графической информации на бумажный носитель. Описание работы и структурной схемы прибора. Система технического профильного обслуживания и ремонта. Виды неисправностей, утилизация неисправных элементов.
курсовая работа, добавлен 17.08.2013Анализ практических ситуаций неисправностей персонального компьютера, выделение их основных видов: программных и аппаратных. Проблемы в операционной системе и программах, проблемы, вызванные воздействием вирусов. Описание аппаратных неисправностей.
статья, добавлен 05.04.2019Аналитические выражения синтеза всех логических функций в базисе И–НЕ и их таблицы истинности. Схемы логических функций в базисе И–НЕ, перевод переключателя S1 в различные положения для получения на выходе первого элемента нужного значения функции.
лабораторная работа, добавлен 26.02.2024Проблемы технического диагностирования программируемых логических интегральных схем. Построение геометрической формы автоматных моделей, Реализация алгоритма ортогонального преобразования. Анализ эффективности применения классических методов интерполяции.
статья, добавлен 28.02.2016Логический вентиль – своего рода атом, из которого состоят электронные узлы ЭВМ. Принцип работы вентильных и логических схем. Характеристика логических функций отрицания, инверсии, дизъюнкции и конъюнкции. Примеры использования логических функций.
лекция, добавлен 15.12.2010Разработка структурной схемы стенда вероятностного некомпактного тестирования. Диагностирование, поиск и устранение неисправностей в глобальной сети. Расчет параметров временной диаграммы функционирования стенда. Разработка электрических схем блоков.
курсовая работа, добавлен 16.10.2015Применение управляющих автоматов при построении систем со сложным поведением. Предложено построение управляющего конечного автомата по заданному множеству сценариев работы и темпоральным свойствам, которые должны выполняться в результирующем автомате.
статья, добавлен 15.01.2019Моделирование и тестирование программного обеспечения контроллеров с использованием среды ForSyDe, поддерживающей функциональное программирование. Особенности обработки дискретных сигналов. Тестирование программируемых логических интегральных схем.
статья, добавлен 14.07.2016Классификация терминалов с изолированной программной средой. Анализ принципиальной схемы устройства. Способы повреждения или взлома аппаратно-денежной системы. Технологическая карта устранения неисправностей модема, термопринтера и сенсорной панели.
дипломная работа, добавлен 22.11.2015Минимизация исходного состояния. Факторизация покрытия и выбор функциональной схемы ячейки минимальной стоимости. Построение схемы в универсальном базисе и в заданном базисе. Исходные данные для расчёта принципиальной схемы логического элемента.
курсовая работа, добавлен 26.09.2017