ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; ординарный доцент
Скорубский В. И.
Университет ИТМО; доцент
Читать статью полностью
Аннотация. Рассмотрены приложения многозначной логики к задачам анализа цифровых схем (в том числе функционального и временного моделирования и тестирования). Рассматриваются особенности применения булевой алгебры к вычислениям над собственными подмножествами.
Ключевые слова:
моделирование цифровых схем, временное моделирование, тестирование схем, троичное тестирование
