Теория автоматов учебно-методическое пособие

Теория автоматов учебно-методическое пособие

Bibliographic Details
Main Author:	Буркатовская, Юлия Борисовна
Corporate Author:	Томский политехнический университет
Other Authors:	Веремеенко, Елена Сергеевна
Format:	eBook
Language:	Russian
Published:	Томск Издательство Томского политехнического университета 2010
Subjects:	Мура автоматы Мили автоматы синтез цифровых автоматов комбинационные схемы тестирование комбинационной схемы самопроверяемые комбинационные схемы легкотестируемые комбинационные схемы учебные издания
Online Access:	http://sun.tsu.ru/limit/2016/000440710/000440710.pdf Перейти в каталог НБ ТГУ

Similar Items

Синтез цифровых автоматов
by: Глушков, Виктор Михайлович 1923-1982
Published: (1962)

Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
by: Останин, Сергей Александрович

Логическое проектирование дискретных устройств учебное пособие : [для студентов, изучающих историю автоматов]
by: Буркатовская, Людмила Ильинична
Published: (2011)

Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов в 2 т.
Published: (2021)

A fault-tolerant combinational circuit design
by: Ostanin, Sergey A.

Логическое управление. Методы аппаратной и программной реализации алгоритмов
by: Шалыто, Анатолий Абрамович
Published: (2000)

Маскирование константных неисправностей логических схем внешними вентильными подсхемами
by: Провкин, Виктор Алексеевич

Маскирование неисправностей полюсов логических схем с использованием частичных функций
by: Матросова, Анжела Юрьевна

Проверка схемной реализации частичных булевых функций
by: Черемисинова, Людмила Дмитриевна

Applying incompletely specified Boolean functions for patch circuit generation
by: Matrosova, Anzhela Yu

Построение аппроксимирующих схем в режиме троирования
by: Матросова, Анжела Юрьевна

Обнаружение ложных путей в схемах с памятью
by: Ирдынеева, Екатерина Павловна

Метод синтеза функционально устойчивых комбинационных схем
by: Агибалов, Геннадий Петрович 1939-2020

Finding false paths in sequential circuits

Построение эквивалентных схем в системах троирования
by: Матросова, Анжела Юрьевна

Forming patch functions and combinational circuit rectification

К синтезу самопроверяемых комбинационных схем
by: Матросова, Анжела Юрьевна

Метод поиска ложных путей в комбинационном эквиваленте последовательностной схемы
by: Ирдынеева, Екатерина Павловна

Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы
by: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
by: Голубева, Ольга Ивановна

Графовые представления множеств всех достижимых реакций комбинационной схемы
by: Провкин, Виктор Алексеевич

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2006)

Синтез проверяющих тестов для кратных константных неисправностей и неисправностей задержек контролепригодных логических схем
by: Матросова, Анжела Юрьевна

О повышении защищенности логических схем от внедрения вредоносных подсхем
by: Матросова, Анжела Юрьевна

Проблемы кибернетики [сборник статей
Published: (1971)

Декомпозиция комбинационных схем методом функциональной редукции
by: Таланов, Владимир Александрович

Определение ключа аппаратной защиты цифровых устройств
by: Золоторевич, Людмила Андреевна

Точные оценки управляемости, наблюдаемости и вероятности обнаружения неисправности для комбинационных схем, основанные на ОДНФ и ROBDD представлениях функций
by: Голубева, Ольга Ивановна

Оптимизация комбинационных схем с использованием допустимых функций
by: Кириенко, Ирина Евгеньевна

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2009)

Функции обнаружения константной неисправности, управляемости и наблюдаемости полюса элемента комбинационной схемы
by: Голубева, Ольга Ивановна

Троичное моделирование комбинационных схем с использованием ROBDD
by: Голубева, Ольга Ивановна

BDD and DNF based algorithms for constructing all testability functions of combinational circuit
by: Golubeva, Olga

Stuck-at-faults tester as a web-service

Testing digital circuits: studying the increment of the number of states and estimating the fault coverage

Логическое проектирование цифровых систем на основе программируемых логических интегральных схем
by: Соловьев, Валерий Васильевич
Published: (2018)

Синтез комбинированных схем в базисе FPGA по ZDD-представлению ДНФ
by: Останин, Сергей Александрович

Построение проверяющих тестов для одиночных и кратных неисправностей на полюсах элементов схем, синтезированных на базе ПЛИС (FPGA)-технологий
by: Матросова, Анжела Юрьевна

Построение множества всех достижимых реакций комбинационных схем
by: Провкин, Виктор Алексеевич

Синтез систем функционального контроля многовыходных комбинационных схем на основе метода логического дополнения