Improved Real Number Model Verification Using Post-Processed Analog Simulations | IEEE Conference Publication | IEEE Xplore