Incremental circuit simulation analysis for design modification and verification | IEEE Conference Publication | IEEE Xplore