Цифровая техника нашла широкое применение как в производстве, так и в быту. В
обеих сферах применения потребитель вправе требовать высокой надёжности …

При проектировании современных цифровых схем перед разработчиком часто
возникает задача верификации эквивалентности двух схем, что связано с …

In the life cycle of development of digital circuits developer need to solve the several
problems of building of input sequences: test, initializing and verifying of equivalence. In this …

В статье рассматривается задача достижения заданного состояния в синхронных
последовательностных цифровых устройствах. Предлагается два метода решения …

В статье предлагаются практические подходы к адаптации параллельных генетических
алгоритмов генерации идентифицирующих последовательностей цифровых схем для …

В статье предлагается классификация существующих эволюционных методов
генерации идентифицирующих последовательностей цифровых устройств, а также …

In the paper one of the central problems of the technical diagnostics, verification of the
equivalence of digital circuits, is considered. For the algorithm, which was early described by …

Under the life cycle of the development of the modern digital circuits a problem of verification
of two circuits is arise. It is caused, for example, by using several optimization procedures. In …