Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста

В монографии изложены методы и алгоритмы решения двух задач, возникающих при автоматизированном проектировании цифровых вычислительных систем: логическое и логико-временное моделирование схем; автоматический синтез тестов для комбинационных и последовательностных схем. Рассматриваются структуры данных, использование многозначного алфавита, вопросы адекватности моделей. Алгоритм синтеза теста для последовательностных схем описан применительно к асинхронным схемам. Для решения этих задач используется математический аппарат диаграмм определителей. Приведены общие сведения о логических схемах и проблемах их диагностирования. Изложение ведется на содержательном уровне. Для специалистов в области автоматизированной разработки логических схем, студентов и аспирантов соответствующих специальностей.