HALOTIS: High Accuracy Logic TIming simulator with inertial and degradation delay model | Publicación