Efficient Stimuli Generation using Reinforcement Learning in Design Verification.
Deepak Narayan GaddeThomas NalapatAman KumarDjones LettninWolfgang KunzSebastian SimonPublished in: CoRR (2024)
Keyphrases
- reinforcement learning
- design process
- lightweight
- functional verification
- case study
- knowledge based systems
- formal verification
- optimal design
- user interface
- computationally efficient
- generation process
- optimal control
- user experience
- cost effective
- building blocks
- database
- artificial intelligence
- real world
- databases
- data sets