Синтез и верификация логических моделей

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

Статья представлена к публикации членом редколлегии: О. П. Кузнецов