Publikation
Niklas Bruns; Daniel Große; Rolf Drechsler
In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.
@inproceedings{pub10794, author = { Bruns, Niklas and Große, Daniel and Drechsler, Rolf }, title = {Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning}, booktitle = {30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China}, year = {2020} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023