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