Skip to content 
QR code of document
Малюгин, В. Д.
Синтез и верификация логических моделей [Текст] / В. Д. Малюгин. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №6. - Библиогр.: с. 187 (8 назв. )
Кл.слова (ненормированные):
арифметические полиномы -- верификация логических моделей -- логические модели
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.