Zobrazeno 1 - 8
of 8
pro vyhledávání: '"A. S. Kamkin"'
Autor:
A. S. Kamkin, A. M. Kotsynyak
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 99-114 (2018)
In this paper, a tool for automatically generating test programs for MIPS64 memory management units is described. The solution is based on the MicroTESK framework being developed at the Institute for System Programming of the Russian Academy of Scien
Externí odkaz:
https://doaj.org/article/d0e5fc1424f4441296ac228368607763
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 247-256 (2018)
Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits. To measure test quality, two main metrics are in use: fault detection abilities (fault coverage) and test application time (test length). Many algorithms ha
Externí odkaz:
https://doaj.org/article/ae31f53688d8405d8aa9f9eb5848aa0d
Autor:
V. S. Burenkov, A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 57-76 (2018)
This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent on verification (first of all, machine time and memory) do not depend on the number of pro
Externí odkaz:
https://doaj.org/article/07be596aa44c46e9b29bfc5c9403b61e
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 6, Pp 87-102 (2018)
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 organiza
Externí odkaz:
https://doaj.org/article/552909c40fc54ffdac45aad905c0a157
Autor:
D. N. Vorobyev, A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)
In this work, a method for the automated test programs generation aimed at the verification of microprocessor control logic is considered. The method is based on formal specification of a microprocessor instruction set and description of pipeline haz
Externí odkaz:
https://doaj.org/article/24c5594b039e4243a3ceebf75f6e809a
Autor:
A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 18, Iss 0 (2018)
In this work, some issues of automated construction of test programs intended for functional verification of branch units of microprocessors are considered. Problems appearing when creating such programs are defined, and techniques for their automate
Externí odkaz:
https://doaj.org/article/eba638d98234499ba0778eb38c4b6ed6
Autor:
A. S. Kamkin, M. M. Chupilko
Publikováno v:
Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)
It is known that at different design stages different representations of a target system are used (a general description of the system's architecture is step by step concretized up to a physical layout). Depending on the project maturity engineers ap
Externí odkaz:
https://doaj.org/article/5519344cab0c40dd88e048b4b17e14d9
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 6, Pp 87-102 (2018)
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 organiza
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9209376f5cb834343eb7f1c8ae21cba
https://doi.org/10.15514/ispras-2016-28(6)-6
https://doi.org/10.15514/ispras-2016-28(6)-6