Login / Signup

Application of Deep Reinforcement Learning to Dynamic Verification of DRAM Designs.

Hyojin ChoiIn HuhSeungju KimJeonghoon KoChangwook JeongHyeonsik SonKiwon KwonJoonwan ChaiYounsik ParkJaehoon JeongDaesin KimJung Yun Choi
Published in: DAC (2021)
Keyphrases
  • reinforcement learning
  • machine learning
  • multi agent
  • decision support
  • dynamic environments
  • model checking
  • data mining
  • hidden markov models
  • optimal policy