Halotis - high accurate logic timing simulator | Publicación