Advanced optimistic approaches in logic simulation | IEEE Conference Publication | IEEE Xplore