Overview

Democritus University of Thrace appears in the provided evidence as the institution associated with a May 22, 2019 MSc thesis titled UVM-based verification of RISC-V superscalar processors: A reinforcement learning approach by Zacharias Takakis. The thesis front matter lists Democritus University of Thrace together with the Department of Electrical and Computer Engineering and the Lab of Integrated Circuits.

Documented academic context

The evidenced thesis concerns UVM-based verification of RISC-V superscalar processors. Its abstract describes two proposed techniques intended to automate test application in a verification flow: a multi-armed bandit decision-making model for selecting constrained-random or direct test sequences, and a feedback-based mechanism for dynamically adjusting test application time. The abstract reports evaluation on a non-trivial design, specifically a 2-way superscalar out-of-order RISC-V processor.

Related person

The thesis names Assistant Professor Georgios Dimitrakopoulos as supervisor. This supports an academic association between Georgios Dimitrakopoulos and the Democritus University of Thrace context represented by the thesis document.