Accurate logic simulation in the presence of unknowns | IEEE Conference Publication | IEEE Xplore