A Universal DFT Verification Environment: Filling the Gap between Function Simulation and ATE Test