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