A new method to optimize function verification | IEEE Conference Publication | IEEE Xplore