A Generalized SMCF-Driven Adaptive Test Framework for Pre-Silicon Verification of On-Chip Sensors with Formal and Stochastic Modeling