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