CPU, GPU and AI designs are datapath heavy with unique design characteristics and require advanced verification techniques and methodology. These designs have mathematical functions like addition, subtraction, multiplier, square root, and floating-point units (FPU). Verifying these mathematical functions using traditional methods is inefficient, time consuming and impractical. This presentation highlights the need for an innovative datapath validation solution and share best practices through customer case studies. *SolvNet ID & password required to view.