Early Verification of ISA Extension Specifications using Deep Reinforcement Learning.
Niklas BrunsDaniel GroßeRolf DrechslerPublished in: ACM Great Lakes Symposium on VLSI (2020)
Keyphrases
- reinforcement learning
- concurrent systems
- automated verification
- model checking
- asynchronous circuits
- formal verification
- bounded model checking
- model checker
- function approximation
- delay insensitive
- high level
- temporal logic
- state space
- learning process
- finite state machines
- transfer learning
- temporal difference learning
- data sets
- robotic control
- multi agent reinforcement learning
- linear time temporal logic
- signature verification
- functional requirements
- reinforcement learning algorithms
- learning classifier systems
- markov decision processes
- dynamic programming
- multi agent