?
Построение поведенческих моделей микропроцессоров для генерации тестовых программ
Известия высших учебных заведений. Физика. 2016. Т. 59. № 8-2 . С. 97-100.
The paper proposes a method of automated construction of behavior models of microprocessors, which are used in the process of test program generation to predict the results. The proposed method is based on using formal specifications of instruction set architecture. The method is implemented in MicroTESK, a test program generation tool being developed at ISP RAS. The tool has been successfully applied in industrial projects.
Tatarnikov A., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. II С. 38-45
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. Functional verification is a quite time consuming process. According to various estimates, it accounts for more than 70% of overall resources spent on designing a new microprocessor. This can be explained by the fact that modern hardware designs have ...
Added: December 12, 2017
Tatarnikov A., Kamkin A., Проценко А. С., Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 125-138
A memory subsystem is one of the key components of a microprocessors. It consists of a number of storage devices (instruction buffers, address translation buffers, multilevel cache memory, main memory, and others) organized into a complex hierarchical structure. Huge state space of a memory subsystem makes its functional verification extremely labor consuming. Nowadays, the main ...
Added: December 10, 2017
Tatarnikov A., Kamkin A., Проценко А. С. et al., Труды Института системного программирования РАН 2016 Т. 28 № 6 С. 87-102
ARM is a family of microprocessor instruction set architectures developed in a company with the same name. The newest architecture of this family, ARMv8, contains a large number of instructions of various types and is notable for its complex organization of virtual memory, which includes hardware support for multilevel address translation and virtualization. All of ...
Added: November 24, 2017
Tatarnikov A., Kamkin A., Проценко А. С. et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2-8
In this paper, a specification-based test program generator for functional verification of RISC-V microprocessors is presented. The tool is based on the MicroTESK framework and consists of two main parts: (1) the formal specifications of the RISC-V ISA and (2) the ISA-independent generation core. Test programs are generated on the basis of the ISA specifications and test templates ...
Added: October 30, 2018
Tatarnikov A., Kamkin A., Смолов С. А. et al., Программирование 2014 Т. 1 № 40 С. 3-14
Development of test programs and analysis of the results of their execution is the basic approach to verification of microprocessors at the system level. There is a variety of methods for the automation of test generation, starting with the generation of random code and ending with directed model-based test generation. However, there is no cure-all ...
Added: February 5, 2018
Tatarnikov A., , in : Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016). : Yerevan : IEEE, 2016. P. 270-273.
The paper proposes an approach to instruction stream generation for verification of microprocessor designs. The approach is based on using formal specifications of the instruction set architecture as a source of knowledge about the design under verification. This knowledge is processed with generic engines implementing an extensible set of generation strategies to produce stimuli in ...
Added: December 22, 2017
Tatarnikov A., Kamkin A., Проценко А. С., Известия высших учебных заведений. Физика 2015 Т. 58 № 11-2 С. 70-74
А method for automated generating test programs for functional testing of single-core microprocessor memory subsystems is proposed. The proposed method is based on formal specifications of the caching and address translation mechanisms. The method variants have been successfully applied to testing of industrial microprocessors. ...
Added: January 25, 2018
Tatarnikov A., Kamkin A., , in : Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science. Vol. 10742.: Springer, 2018. P. 387-393.
The paper presents MicroTESK, a tool for test program generation for functional verification of microprocessors. It generates test programs from templates which describe generation tasks in terms of constraints that must be satisfied in order to reach certain coverage goals. The tool uses formal specifications of the instruction set as a source of knowledge about ...
Added: January 23, 2018
Tatarnikov A., Kamkin A., Сергеева Т. И. et al., , in : Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013. : Kazan : -, 2013. P. 51-57 .
Creation of test programs and analysis of their
execution is the main approach to system-level verification of microprocessors. A lot of techniques have been proposed to automate test program generation, ranging from completely random to well directed ones. However, no “silver bullet” has been found. In good industrial practices, various methods are combined complementing each other. ...
Added: December 20, 2017
Tatarnikov A., Kamkin A., Чупилко М. М. et al., , in : Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science. Vol. 10629: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017.: Cham : Springer, 2017. P. 217-220.
The paper presents MicroTESK, a tool that automates construction of test program generators for microprocessors. A constructed generator consists of the core that implements architecture-independent generation methods and the model that holds information required to generate tests for the corresponding architecture. The tool extracts this information from formal specifications of the instruction set architecture. The ...
Added: January 24, 2018
Tatarnikov A., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 4 P. 77-98
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. High complexity of modern hardware designs creates a demand for automated tools that are able to generate test programs covering non-trivial situations in microprocessor functioning. The majority of such tools use test program templates that describe scenarios to be ...
Added: November 26, 2017
Tatarnikov A., Kamkin A., Чупилко М. М. et al., Труды Института системного программирования РАН 2014 Т. 26 № 1 С. 149-200
Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental problem. To deal with it, various tools for functional verification are used. Unlike bugs in software programs which are relatively easy to fix (it does not apply to their consequences), defects in integrated circuits (both design and manufacturing ones) cannot be removed. In spite ...
Added: December 11, 2017
Vladimir A. Bashkin, Irina A. Lomazova, Transactions on Petri Nets and Other Models of Concurrency 2014 Vol. 9 P. 1-18
A resource workflow net (RWF-net) is a workflow net, supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions. Neither the intermediate nor final resource markings are constrained, hence a net can have an infinite number of different reachable states. An RWF-net with k tokens in the ...
Added: December 7, 2014
Жигалова М. А., Sukhov A., Известия Южного федерального университета. Технические науки 2015 № 2 С. 126-134
In the process of software products development and their maintenance a large number of project documents is created and used. To automate their processing and control of the product requirements referred in the documents, developing tools supporting the work of the analyst in the design of information systems is required. In order to carry out ...
Added: December 12, 2014
Vnukov A., Шабном М., Вестник Российского университета дружбы народов. Серия: Инженерные исследования 2014 № 3 С. 38-46
The article discusses the mathematical model of the forward task of kinematics, inverse, positioning capture of the robot is considered. Software implementation of the task allowed conducting the study of convergence and accuracy solution of inverse problem selecting the initial values and randing of angles on each iteration and geting graphs of dependencies accuracy of ...
Added: July 26, 2014
В.А. Башкин, И.А. Ломазова, Cybernetics and Systems Analysis 2011 № 2 С. 31-39
Рассматривается проблема моделирования мультиагентных систем с бесконечным множеством состояний. Исследуются формализмы, основанные на обобщении сетей активных ресурсов. Определены новые способы моделирования: параметризованные АР-сети, двухуровневые АР-схемы и двухуровневые АР-сети. Показано, что эти формализмы обладают удобным синтаксисом для моделирования мультиагентных систем, в том числе систем со сложной модульной или иерархической структурой. Доказано, что параметризованные АР-сети и двухуровневые ...
Added: March 19, 2011
Humboldt-Universität zu Berlin, 2016
This volume contains the papers presented at CS&P 2016, the 25th International Workshop on Concurrency, Specification and Programming, held on September 28 - 30, 2016 in Rostock, Germany. Since the early seventies Warsaw University and Humboldt University have alternately organized an annual workshop - since the early nineties known as CS&P. Over time, it has ...
Added: October 13, 2016
Sukhov A., Lyadova L. N., Zamyatina E., Информатизация и связь 2013 № 5 С. 11-14
Tools of the DSM-platform MetaLanguage for creation of domain specific languages and for multilevel modeling are described. The transformations definition facility provides lower labor consumption for languages development and for model transformations. ...
Added: November 17, 2013
Vishnekov A., Ivanova E., Басова К. Э. et al., Информационные технологии 2019 Т. 25 № 8 С. 490-501
This article aims at the improvement of the engineer training quality in the field of "computer Science and engineering" using on-line and blended learning technology. We consider studying of modern computers architecture as an example. The complexity of the modeling object, the multi-faceted process of studying the computer architecture, the limited period – are the ...
Added: August 29, 2019
Tsareva O. O., Zelenyi L. M., Malova H. V. et al., Physics-Uspekhi 2018 Vol. 61 No. 2 P. 191-202
Earth's global magnetic field generated by an internal dynamo mechanism has been continuously changing on different time scales since its formation. Paleodata indicate that relatively long periods of evolutionary changes can be replaced by quick magnetic inversions. Based on observations, Earth's magnetic field is currently weakening and the magnetic poles are shifting, possibly indicating the ...
Added: May 8, 2018
Yasnitsky L., Киросова А. В., Cherepanov F., Вестник спортивной науки 2012 № 5
Разработана компьютерная программа, предназначенная для прогнозирования результатов чемпионата мира 2013 года по легкой атлетике на дистанции 100 метров у мужчин. В основе программы лежит нейронная сеть, обученная на результатах предыдущих чемпионатов мира. Имеется демонстрационный прототип, который оценивает шансы на победу для каждого из пяти возможных претендентов. Помимо прогнозов программа позволяет оценивать влияние изменения параметров, характеризующих ...
Added: December 6, 2012
Cardiff : IEEE Computer Society, 2013
Added: March 13, 2015
Yasnitsky L., Dumler A. A., Bogdanov K. et al., Biomedical Engineering 2013 Vol. 47 No. 3 P. 160-163
A neural expert network system for diagnostis and prognosis of cardiovascular diseasas was developed. ...
Added: November 19, 2013