Text this: Functional Verification Test Time Reduction Through Behavioral Functional Model