Zobrazeno 1 - 10
of 20
pro vyhledávání: '"A. Kotsynyak"'
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 149-200 (2018)
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
Externí odkaz:
https://doaj.org/article/bc4ad7a22bba48c4881fbf7c4764c0b0
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
Publikováno v:
NBI Technologies. :29-32
The article presents a method of assessing the stability of the information and telecommunication network in terms of informational impact. In modern war, the primary objects of directed counteraction and defeat are presented with control systems rat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee44cf1088dfbea3844904f207899782
https://doi.org/10.15688/nbit.jvolsu.2018.4.5
https://doi.org/10.15688/nbit.jvolsu.2018.4.5
Publikováno v:
Tests and Proofs ISBN: 9783030509941
TAP@STAF
TAP@STAF
There is a high demand in practical methods and tools to ensure total correctness of critical software components. A usual assumption is that the machine code (or binary code) generated by a compiler follows the semantics of the programming language.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a416145a3ce424d2e3df69c038fa17c
https://doi.org/10.1007/978-3-030-50995-8_3
https://doi.org/10.1007/978-3-030-50995-8_3
Publikováno v:
NBI Technologies. :12-18
The main trend in recent years is the shift of emphasis from mass attacks to targeted (target) attacks, which are the actions of the enemy of a particular state or non-state structure in advance. The target attack is always built under the object of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d08e41451a2ae736adff6a2ca68dc98
https://doi.org/10.15688/nbit.jvolsu.2018.1.2
https://doi.org/10.15688/nbit.jvolsu.2018.1.2
Autor:
Sergey Smolov, A. Sortov, Andrei Tatarnikov, Artem Kotsynyak, Mikhail Chupilko, Alexander Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 149-200 (2018)
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0d3a0546ac4839671d1627831e5a691
https://ispranproceedings.elpub.ru/jour/article/view/771
https://ispranproceedings.elpub.ru/jour/article/view/771
Publikováno v:
Vestnik Volgogradskogo gosudarstvennogo universiteta. Serija 10. Innovatcionnaia deiatel’nost’. 11:11-15
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2e90b356c3cf4a67a5162d6d006ac3d
https://doi.org/10.15688/jvolsu10.2017.2.2
https://doi.org/10.15688/jvolsu10.2017.2.2
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
Autor:
Mikhail Chupilko, Alexander Protsenko, Sergey Smolov, Andrei Tatarnikov, Artem Kotsynyak, Alexander Kamkin
Publikováno v:
MTV
The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA and ISA-independent core. The speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cb3ad375464f9eaec19a895d77d02209
https://doi.org/10.1109/mtv.2018.00011
https://doi.org/10.1109/mtv.2018.00011
Autor:
Mikhail Chupilko, Sergey Smolov, Artem Kotsynyak, Alexander Kamkin, Andrei Tatarnikov, Alexander Protsenko
Publikováno v:
MTV
The specification-based approach is widely used for test program generation for functional verification of microprocessors. The size of microprocessor specifications is measured in thousands lines of code. Consequently, their maintenance requires sig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::030c5e437c137700f7e433e6f565da81
https://doi.org/10.1109/mtv.2017.13
https://doi.org/10.1109/mtv.2017.13