Zobrazeno 1 - 4
of 4
pro vyhledávání: '"охраняемое действие"'
Publikováno v:
Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 135-144 (2019)
Data access conflicts may arise in hardware designs. One of the ways of detecting such conflicts is static analysis of hardware descriptions in HDL. We propose a static analysis-based approach to data conflicts extraction from HDL descriptions. This
Externí odkaz:
https://doaj.org/article/3d0ddb77f1c34f1ea6abc700fbd9406f
Autor:
M. S. Lebedev, S. A. Smolov
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 41-56 (2018)
Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment. In this paper, a functional test generation method based on model checking is
Externí odkaz:
https://doaj.org/article/db5cd6bc2a3c4fd88d1b58c262c5cfae
Autor:
S. A. Smolov, M. S. Lebedev
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 41-56 (2018)
Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment. In this paper, a functional test generation method based on model checking is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6c66847f2c2bc2ec8bafce6c6f094ef
https://ispranproceedings.elpub.ru/jour/article/view/138
https://ispranproceedings.elpub.ru/jour/article/view/138
Publikováno v:
Труды Института системного программирования РАН, Vol 31, Iss 3, Pp 135-144 (2019)
Data access conflicts may arise in hardware designs. One of the ways of detecting such conflicts is static analysis of hardware descriptions in HDL. We propose a static analysis-based approach to data conflicts extraction from HDL descriptions. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38c3e15d6890599fe672b05290f2b34b
https://doi.org/10.15514/ispras-2019-31(3)-11
https://doi.org/10.15514/ispras-2019-31(3)-11