Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

@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}
}