{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:16:58Z","timestamp":1784233018346,"version":"3.55.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T00:00:00Z","timestamp":1687910400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T00:00:00Z","timestamp":1687910400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,28]]},"DOI":"10.1109\/mocast57943.2023.10176659","type":"proceedings-article","created":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T17:34:53Z","timestamp":1689615293000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Multi-Armed Bandits for Autonomous Test Application in RISC-V Processor Verification"],"prefix":"10.1109","author":[{"given":"G.","family":"Dimitrakopoulos","sequence":"first","affiliation":[{"name":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E.","family":"Kallitsounakis","sequence":"additional","affiliation":[{"name":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Z.","family":"Takakis","sequence":"additional","affiliation":[{"name":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Stefanidis","sequence":"additional","affiliation":[{"name":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Nicopoulos","sequence":"additional","affiliation":[{"name":"University of Cyprus,Electrical and Computer Engineering,Cyprus"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Comprehensive Functional Verification: The Complete Industry Cycle","author":"Wile","year":"2005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-800727-3.00001-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.782237"},{"key":"ref4","article-title":"Deep predictive coverage collection","volume-title":"Design and Verification Conf. (DVCON)","author":"Roy"},{"key":"ref5","article-title":"Optimization of constrained random verification using machine learning","volume-title":"MSc thesis, Univ. of Minessota","author":"Ambalakkat","year":"2018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"ref7","article-title":"Mitigating risk through verification: Automatic coverage model generation technology continues to advance","author":"Mutschler","year":"2018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref9","article-title":"Improving constrained random testing by achieving simulation verification goals through objective functions, rewinding and dynamic seed manipulation","volume-title":"Design and Verification Conf. (DVCON)","author":"Nelson"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2071356.2071363"},{"key":"ref11","article-title":"Reining in the functional verification of complex processor designs with automation, prioritization, and approximation","volume-title":"PhD Thesis, Univ. of Michigan","author":"Mammo","year":"2017"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/9781108571401"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.1998.712192"},{"key":"ref14","volume-title":"Bandit Algorithms for Website Optimization","author":"White","year":"2012"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013689704352"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3020078.3021747"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3505170.3506725"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2019.8862056"},{"key":"ref20","first-page":"1","article-title":"Flowtune: Practical multi-armed bandits in boolean optimization","volume-title":"IEEE\/ACM Intern. Conf On Computer Aided Design (ICCAD)","author":"Yu"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3025541"},{"key":"ref22","article-title":"BOOM v2: an open-source out-of-order RISC-V core","author":"Celio","year":"2017","journal-title":"EECS Dept., Univ. of California, Berkeley, Tech. Rep."},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2018.05.007"},{"key":"ref24","volume-title":"Riscv two-way superscalar processor and random instruction generator","year":"2023"},{"key":"ref25","article-title":"UVM-based RISC-V processor verification platform","volume-title":"RISC-V summit","author":"Tao Liu"}],"event":{"name":"2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST)","location":"Athens, Greece","start":{"date-parts":[[2023,6,28]]},"end":{"date-parts":[[2023,6,30]]}},"container-title":["2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10176331\/10176367\/10176659.pdf?arnumber=10176659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T13:28:52Z","timestamp":1709299732000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10176659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,28]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/mocast57943.2023.10176659","relation":{},"subject":[],"published":{"date-parts":[[2023,6,28]]}}}