Geodesic
Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an RTL-model of processor
Informacionnye tehnologii i vyčislitelnye sistemy, no. 3 (2020), pp. 94-100.

Voir la notice de l'article provenant de la source Math-Net.Ru

One of the most important trends in the development of modern microelectronics, due to a decrease in the technological process of semiconductor production and an increase in the degree of integration of microcircuits, is an increase in the performance of computer systems by increasing heterogeneity, but the energy consumption in different operating modes is a limiting factor. The article discusses the task of forming a test sequence that provides maximum switching activity for all processor units. This task belongs to the class of those problems whose complexity grows exponentially with an increasing number of input data (the number of instructions in the ISA and the dependencies between them). However, its solution can be reduced to solving the discrete optimization problem. A mathematical model is proposed for maximizing the objective function of switching activity using a genetic algorithm, for the parallel launch of which a modified architecture of the island model based on a cellular automaton is considered. The implementation of crossbreeding, mutation, and migration operators is theoretically justified. Using the algorithm, a test sequence for the developed VLIW DSP processor with RISC architecture is formed.
Keywords: verification, processors, power consumption, genetic algorithm, cellular automata, parallel algorithms. 
@article{ITVS_2020_3_a8,
     author = {A. V. Garashchenko and L. G. Gagarina},
     title = {Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an {RTL-model} of processor},
     journal = {Informacionnye tehnologii i vy\v{c}islitelnye sistemy},
     pages = {94--100},
     publisher = {mathdoc},
     number = {3},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ITVS_2020_3_a8/}
}
TY  - JOUR
AU  - A. V. Garashchenko
AU  - L. G. Gagarina
TI  - Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an RTL-model of processor
JO  - Informacionnye tehnologii i vyčislitelnye sistemy
PY  - 2020
SP  - 94
EP  - 100
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ITVS_2020_3_a8/
LA  - ru
ID  - ITVS_2020_3_a8
ER  - 
%0 Journal Article
%A A. V. Garashchenko
%A L. G. Gagarina
%T Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an RTL-model of processor
%J Informacionnye tehnologii i vyčislitelnye sistemy
%D 2020
%P 94-100
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ITVS_2020_3_a8/
%G ru
%F ITVS_2020_3_a8
A. V. Garashchenko; L. G. Gagarina. Research and development of the algorithm for generating a test sequence for evaluating the power consumption of an RTL-model of processor. Informacionnye tehnologii i vyčislitelnye sistemy, no. 3 (2020), pp. 94-100. http://geodesic.mathdoc.fr/item/ITVS_2020_3_a8/