In the rapidly evolving landscape of hardware design, time-to-market represents a critical parameter. Consequently accelerating the RTL (Register Transfer Level) design process is paramount. Advanced verification techniques play a crucial role in achieving this objective. By implementing innovative methods such as formal verification, simulation-b