An incremental learning framework for estimating signal controllability in unit-level verification