Например, Бобцов

МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА

Аннотация:

Рассматриваются вопросы верификации вычислительных процессов по графо- аналитическим моделям, управляемых частично-определенными булевыми функциями. Исследуются задачи поиска по булеву графу управления и кубиче- ским покрытиям недекларированных возможностей и мертвого кода как след- ствия значения don’t care. Приведены примеры построения покрытий для буле- ва графа и верификации значений don’t care в виде покрытия конъюнкции от- ношений-неравенств, тождественно равных нулю.

Читать текст статьи

Ключевые слова:

Статьи в номере