Accelerating Functional Verification with Machine Learning: Survey Applications