dc.contributor.author | Dimitrakopoulos, Giorgos | en |
dc.contributor.author | Kallitsounakis, E. | en |
dc.contributor.author | Takakis, Zacharias | en |
dc.contributor.author | Stefanidis, Apostolos | en |
dc.contributor.author | Nicopoulos, Chrysostomos | en |
dc.creator | Dimitrakopoulos, Giorgos | en |
dc.creator | Kallitsounakis, E. | en |
dc.creator | Takakis, Zacharias | en |
dc.creator | Stefanidis, Apostolos | en |
dc.creator | Nicopoulos, Chrysostomos | en |
dc.date.accessioned | 2023-12-19T16:37:02Z | |
dc.date.available | 2023-12-19T16:37:02Z | |
dc.date.issued | 2023-07-17 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/65824 | en |
dc.description.abstract | Multi-armed bandit problems have recently received a great deal of attention, because they adequately formalize so called exploration-exploitation trade-offs arising in several relevant applications of recommendation systems. In this article, the multi-armed bandit concept is applied to an equivalent
problem within the context of hardware verification. Specifically, a verification recommendation system is designed, based on the multi-armed bandit decision-making model, to automatically suggest which test sequences – constrained-random or direct – should be applied during processor verification. Automating
the process of test application not only improves functional coverage, as shown by the experimental results for a two-way superscalar out-of-order RISC-V processor, but it also minimizes the verification effort and, in effect, shortens the time to market. | en |
dc.language.iso | eng | en |
dc.publisher | IEEE | en |
dc.source | 12th International Conference on Modern Circuits and Systems Technologies (MOCAST) 2023 | en |
dc.source.uri | https://doi.org/10.1109/MOCAST57943.2023.10176659 | en |
dc.source.uri | https://ieeexplore.ieee.org/abstract/document/10176659 | en |
dc.subject | Multi-armed bandits | en |
dc.subject | Verification | en |
dc.subject | Functional coverage | en |
dc.subject | Reinforcement learning | en |
dc.subject | RISCV Processor | en |
dc.title | Multi-Armed Bandits for Autonomous Test Application in RISC-V Processor Verification | en |
dc.type | info:eu-repo/semantics/article | en |
dc.identifier.doi | 10.1109/MOCAST57943.2023.10176659 | |
dc.author.faculty | 007 Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.contributor.orcid | Nicopoulos, Chrysostomos [0000-0001-6389-6068] | |
dc.contributor.orcid | Dimitrakopoulos, Giorgos [0000-0003-3688-7865] | |
dc.contributor.orcid | Stefanidis, Apostolos [0000-0002-6508-524X] | |
dc.type.subtype | CONFERENCE_PROCEEDINGS | en |
dc.gnosis.orcid | 0000-0001-6389-6068 | |
dc.gnosis.orcid | 0000-0003-3688-7865 | |
dc.gnosis.orcid | 0000-0002-6508-524X | |