Hardware Verification for High-Performance Designs in the Next Generation: Towards More Scalable and AI-Driven Techniques