Sherief Reda

CovR: Coverage-Aware Hardware Verification via Reasoning-Guided Reinforcement Learning

CovR is presented, an agentic framework for automated testbench generation that combines self-reflection loops with simulation-based feedback to maximize coverage and a reinforcement learning (RL) framework tailored for coverage-driven testbench generation, leveraging tool-derived rewards from simulation and coverage f...