The present invention is directed to a simplification method for an
arbitrary library. In aspects of the present invention, the method does
not rely on specific properties of the library elements and has linear
complexity. The present invention may be implemented based on a symbolic
simulation in an alphabet which contains 0, 1, symbols of variables, and
negations of the variables' symbols. In an aspect of the present
invention, a method for reducing redundancy in a simulation through use of
a symbolic simulation utilizing an arbitrary library includes receiving a
set A of values, the set A including input variables which are elements of
the set A. Symbols of the input variables are constructed in which like
and similar variables share a like symbol and a similar symbol
respectively. A table of output values computed from a table of a Boolean
operator employing the constructed symbols of the input variable is
formed, the constructed symbols formed to reduce redundancy.
Присытствыющий вымысел направлен к методу упрощения для произвольного архива. В аспектах присытствыющего вымысла, метод не полагается на специфически свойствах элементов архива и имеется линейную сложность. Присытствыющий вымысел может быть снабжен основал на символической имитации в алфавите содержит 0, 1, символы из перемеююых, и отрицания символов перемеююых. _ в аспект присытствыющ вымысл, метод для уменьшать дублировани в имитаци через польз символическ имитаци использовать произвольн архив вклюать получать комплект а значени, комплект а включая входн перемеюю котор быть элемент комплект A Символ входн перемеюю быть строить в котор как и подобн перемеюю делить а как символ и подобн символ соответственно. Сформирована таблица значений выхода вычисленных от таблицы булевского оператора используя построенные символы перемеююого входного сигнала, построенные символы сформированные для уменьшения дублирования.
