HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model | Publicación