Predicting the Correlation between Analog Behavioral Models and SPICE Circuits for robust SoC Verification | IEEE Conference Publication | IEEE Xplore