Zouaoui R. Construction of the energy-efficient tests and identifying sequences of digital circuits based on the simulated annealing method

Object of research: digital logic circuits, defined on a structural level as a regular network of logic elements. Objective: to increase the effectiveness of computer-aided diagnosis of digital circuits by developing new evolutionary algorithms for constructing of the identifying sequences and for optimization such sequences that are based on the simulated annealing strategy. The study is based on the methods of technical diagnostics, evolutionary computation, theory of Boolean functions, finite automata, and logic simulation. Basing on the simulated annealing strategy the one-level algorithms for constructing of initializing and equivalence verification sequences are proposed. A three steps strategy of building of the energy efficiency tests basing on redundant testing are proposed. Phases of redundant test generation and selection of the suboptymal set of sequences are implemented on the simulating annealing algorithm. The algorithms and software are developed to solve the mentioned above problems. Approbation on the circuits from international catalog ISCAS-89 shows the increase of quality of constructed sequences from 3 to 30% depending on the type of problem, and the heat dissipation during their application is reduced on average by 86%. The proposed methods and developed software used in the Institute of Applied Mathematics and Mechanics in the form of a new module «SA-Analyze» in automated simulation and diagnostics system ASMID.