Media type: E-Book Title: Optimizing Verification of RTL Designs Using Reinforcement Learning Methods Contributor: Ohana, Eric [Author] Published: Bielefeld: Universitätsbibliothek Bielefeld, 2023 Extent: Online-Ressource Language: English DOI: 10.4119/unibi/2983269 Identifier: Keywords: Verifikation ; Entwurfsautomation ; Hardwareverifikation ; Formale Methode ; Systementwurf Origination: University thesis: Dissertation, Bielefeld, Universität Bielefeld, 2023 Footnote: Access State: Open Access