Подробное описание документа

Иоффе М. И.
   Диагностирование логических схем. Алгоритмы моделирования и автоматического синтеза теста : монография / Иоффе М. И. ; Академия наук СССР, Институт проблем информатики ; отв. ред. Ойхман Е. Г. - М. : Наука, 1989. - 157 с. : табл., граф., схемы. - Библиогр.: с. 156-157. - ISBN 5-02-006579-X.

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