HALOTIS high accuracy LOgic TIming simulator with inertial and degradation delay model

• Published in: Proceedings of the conference on Design, automation and test in Europe pp. 467 - 471
• Main Authors: Vazquez, P., Juan-Chico, J., Bellido, M., Acosta, A., Valencia, M.
• Format: Conference Proceeding
• Language: English
• Published: Piscataway, NJ, USA IEEE Press 13.03.2001
• Series: ACM Conferences
• Subjects: 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
• ISBN: 9780769509938; 0769509932
• DOI: 10.5555/367072.367328