Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Andrei Tatarnikov"'
Autor:
Ekaterina Blech, Andrey Grishchenko, Ivan Kniazkov, Guangtai Liang, Oleg Serebrennikov, Andrei Tatarnikov, Polina Volkhontseva, Kuzma Yakimets
Publikováno v:
2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4808e75195b6d31d2f26673060c33a9
https://doi.org/10.1109/issrew53611.2021.00098
https://doi.org/10.1109/issrew53611.2021.00098
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
Autor:
Andrei Tatarnikov
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 77-98 (2018)
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 no
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a9974ccb05e3729688d557541f726aa
https://ispranproceedings.elpub.ru/jour/article/view/140
https://ispranproceedings.elpub.ru/jour/article/view/140
Publikováno v:
Problems of advanced micro- and nanoelectronic systems development. :2-8
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bb0d155dbacf983926ede6b9b0a8546
https://doi.org/10.31114/2078-7707-2018-2-2-8
https://doi.org/10.31114/2078-7707-2018-2-2-8
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:
Alexander Kamkin, Andrei Tatarnikov
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319743127
Ershov Informatics Conference
Ershov Informatics Conference
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 reac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95d7eba0f574ef9102ab1454544d081e
https://doi.org/10.1007/978-3-319-74313-4_28
https://doi.org/10.1007/978-3-319-74313-4_28
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
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319703886
Haifa Verification Conference
Haifa Verification Conference
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 informa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7b943b32d09d0ef488d91bba6bcf7f9
https://doi.org/10.1007/978-3-319-70389-3_15
https://doi.org/10.1007/978-3-319-70389-3_15
Publikováno v:
Programming and Computer Software. 40:1-9
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 generatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3d199e7938faa75cad9e2e1d551ed22
https://doi.org/10.1134/s0361768814010046
https://doi.org/10.1134/s0361768814010046
Autor:
Andrei Tatarnikov
Publikováno v:
EWDTS
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 verif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d677800236c788ff86fbc415f152b347
https://doi.org/10.1109/ewdts.2016.7807721
https://doi.org/10.1109/ewdts.2016.7807721