Алексей Борисевич » Публикация

Аннотация A genetic tests synthesis algorithm for the synchronous digital circuits, based on solving the integer optimization problem with a scalar objective function is presented. A decomposition strategy of the circuit under test and symbolic representation of its fragments obtained. New objective function with a global optimum which is the test sequence developed. Experimental results confirmed the effectiveness and practical applicability of the method.