Early Verification of ISA Extension Specifications using Deep Reinforcement Learning-Reference-Cited by-同舟云学术

Early Verification of ISA Extension Specifications using Deep Reinforcement Learning

Published:2020-09-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2020 on Great Lakes Symposium on VLSI
language:
Short-container-title:

Author:

Bruns Niklas¹,Große Daniel²,Drechsler Rolf³

Affiliation:

1. Cyber-Physical Systems, DFKI GmbH, Bremen, Germany

2. Johannes Kepler University & Cyber-Physical Systems, DFKI GmbH, Linz, Austria

3. University of Bremen & Cyber-Physical Systems, DFKI GmbH, Bremen, Germany

Funder

German Federal Ministry of Education and Research (BMBF)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3386263.3406901

Reference29 articles.

1. Allon Adir E. Almog L. Fournier E. Marcus Michal Rimon Michael Vinov and Avi Ziv. 2004. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. D$&$T Vol. 21 (04 2004) 84 -- 93. Allon Adir E. Almog L. Fournier E. Marcus Michal Rimon Michael Vinov and Avi Ziv. 2004. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. D$&$T Vol. 21 (04 2004) 84 -- 93.

2. Takumi Akazaki Shuang Liu Yoriyuki Yamagata Yihai Duan and Jianye Hao. 2018. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. In Formal Methods. 456--465. Takumi Akazaki Shuang Liu Yoriyuki Yamagata Yihai Duan and Jianye Hao. 2018. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning. In Formal Methods. 456--465.

3. Deep Reinforcement Learning: A Brief Survey

4. Hardware is the new Software

5. Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. arXiv:1606.01540. Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang and Wojciech Zaremba. 2016. OpenAI Gym. arXiv:1606.01540.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification;Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes;2024

2. EPEX;Proceedings of the 2021 on Great Lakes Symposium on VLSI;2021-06-22