{Safety-Verification Flow Sporting Gate-Level Accuracy and Near Virtual-Prototype Speed}