Использование программных средств при тестировании цифровых схем
Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
Подобные документы
Классификация существующих эволюционных методов генерации идентифицирующих последовательностей цифровых устройств. Методология синтеза эволюционных методов диагностирования цифровых устройств, ускорение их разработки за счёт унификации компонентов.
статья, добавлен 25.12.2016Проблема снижения энергопотребления цифровых систем, построенных на элементной базе микросхем FPGA. Традиционные пути снижения энергопотребления в цифровых системах. Анализ использования естественных возможностей конвейеризации схем в FPGA-проектах.
статья, добавлен 30.07.2016Анализ вопросов, связанных с использованием управляемой моделями архитектуры при проектировании цифровых систем управления (ЦСУ). Анализ возможности использования MDA при проектировании ЦСУ. Использование машинно-ориентированных средств описания моделей.
статья, добавлен 01.07.2018Основные понятия и показатели надежности программных средств. Требования к технологии разработки сложных программных средств. Планирование и управление обеспечением качества программ. Виды тестирования для обеспечения надежности программных средств.
реферат, добавлен 04.05.2011Знакомство с основными характеристиками, определяющими выбор методов и средств аттестационного тестирования. Рассмотрение методики генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами.
статья, добавлен 24.08.2020Арифметические операции с использованием булевой алгебры. Проектирование комбинационных логических схем. Расчет по математическим основам проектирования цифровых устройств. Синтез комбинационных и последовательностных логических схем и их проектирование.
курсовая работа, добавлен 02.04.2015Использование аналоговых сигналов в цифровых системах. Цифро-аналоговые преобразователи, их сущность и описание. Аналого-цифровой преобразователь, его характеристика и особенности. Принципы построения различных типов АЦП. Блок-схема алгоритма и ее суть.
реферат, добавлен 08.02.2009Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Описание деятельности агентства цифровых, оформительских и рекламных услуг. Выбор программных и технических средств для разработки информационной системы предприятия. Характеристика и специфика программных кодов приложения, модель анализа и требований.
курсовая работа, добавлен 13.04.2017Классификация возможных путей и средств генерации инновационных решений на основе цифровых технологий. Декоративное оформление ряда изделий по мотивам изображений микроструктур. Фрактальная логика как генератор оригинальных художественных композиций.
статья, добавлен 20.04.2016Способы активизации познавательной и мыслительной деятельности при обучении математическим дисциплинам с помощью цифровых технологий. Развитие математических программных средств, позволяющих визуализировать геометрические объекты и манипулировать ими.
статья, добавлен 18.04.2022Исторические сведения о проектировании с использованием средств вычислительной техники. Достоинства и общесистемные принципы САПР. Цели и стадии их создания. Компоненты видов обеспечения автоматизированных систем. Проблемы и перспективы развития САПР.
курсовая работа, добавлен 24.11.2015Формы организации производственного процесса и его технологическим обеспечением. Состав и особенности эксплуатации программных и технических средств обработки информации. Исследование информационной среды предприятия, методов и средств ее создания.
отчет по практике, добавлен 07.08.2013Анализ методов и средств автоматизации конструирования тестовых программ для микропроцессоров на основе формальных спецификаций. Язык описания шаблонов тестовых программ и архитектура расширяемого генератора для интеграции разных техник генерации.
автореферат, добавлен 02.05.2018Создание устройства пассивной технической защиты цифровых телефонных аппаратов. Структурная схема устройства пассивной технической защиты, выполненного на активных элементах. Защита с компенсацией выходного сигнала и выходного сигналов приемника.
статья, добавлен 03.05.2019Свойства и атрибуты качества функциональных возможностей программных средств. Оценивание корректности программных средств. Способности к взаимодействию программных средств и их компонентов. Разработка алгоритма оценки качества ПО в процессе тестирования.
дипломная работа, добавлен 10.06.2011Аспекты повышения надежности цифровых устройств с использованием избыточного кодирования информации и аппаратной схемотехнической реализации. Биномиальный сегментный код как избыточный. Оценка зависимости вероятности необнаруживаемой ошибки от сбоев.
статья, добавлен 23.10.2010Теоретические аспекты проектирования автоматизированных информационных систем. Выбор программных средств разработки, разработка графического интерфейса пользователя, особенности Delphi 7. Организация подключения базы данных к приложению и тестирование.
курсовая работа, добавлен 16.04.2017Рассмотрение понятия тестирования, как одного из наиболее эффективных средств контроля знаний в системе высшего образования. Исследование и характеристика видов тестовых заданий, которые могут быть реализованы на базе электронной образовательной среды.
статья, добавлен 18.08.2018Рассмотрение основных подходов и методов синтеза многоцелевых информационно-измерительных систем для работы с гетерогенными (разнородными) множествами цифровых и аналоговых сигналов. Возможные сочетания вход-выход для электрических сигналов и параметров.
статья, добавлен 28.01.2020Общая характеристика компьютерных кодов и программных средств. Разработка программных средств и расчетных кодов для атомных электростанций. Использование программных средств для расчета скоростей эрозионно-коррозионного износа поврежденных трубопроводов.
статья, добавлен 19.11.2018Необходимость модернизации электроэнергетического комплекса. Внедрение гибких систем передачи электроэнергии (устройств FACTS). Комплексы автоматической защиты и диспетчерского управления с помощью элементной базы в рамках концепции "умных" сетей.
статья, добавлен 26.05.2017Рассмотрение методики использования многопроцессорного вычислительного ресурса при проектировании большого количества устройств управления. Разработка протокола взаимодействия узлов кластера и алгоритмов работы скриптов, реализующих предложенный протокол.
статья, добавлен 01.07.2018Выбор комплекса задач автоматизации и характеристика существующих бизнес-процессов. Структура и состав комплекса технических средств и конфигурация сети. Анализ нормативно-справочной, выходной и результативной информации. Изучение базы данных склада.
курсовая работа, добавлен 15.12.2021Применение языка Verilog и методология проектирования цифровых устройств. Согласование типов портов и их направлений при включении модулей. Введение временных задержек в непрерывные операторы присваивания. Общая характеристика циклических операторов.
учебное пособие, добавлен 15.04.2014