HALOTIS - high accurate logic timing simulator | IEEE Conference Publication | IEEE Xplore