Исследование работы микропроцессора с помощью системы моделирования на основе K-значного дифференциального исчисления

Abstract

Рассмотрено применение системы автоматизированного проектирования на основе K-значного дифференциального исчисления для выявления ложных ситуаций, связанных с незначительными всплесками и провалами логических сигналов, но способных привести к ошибкам в работе этих устройств и всей вычислительной структуры в целом.

Considered the application of system of the automated designing on the basis of K-value differential calculus for revealing error situations connected with insignificant splashes and failures of logic signals, but capable to lead to mistakes in work of these devices and all computing structure as a whole.