Optimizing Verification of RTL Designs Using Reinforcement Learning Methods. - Eric Ohana (2023)