HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model - Vazquez, P.; Juan-Chico, J.; Bellido, M.; Acosta, A.; Valencia, M. (Proceedings of the conference on Design, automation and test in Europe, 2001)
Keywords: Computing methodologies -- Artificial intelligence -- Knowledge representation and reasoning -- Temporal reasoning; Hardware -- Communication hardware, interfaces and storage -- Buses and high-speed links; Hardware -- Hardware validation -- Functional verification -- Simulation and emulation; Theory of computation -- Logic -- Modal and temporal logics