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

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the conference on Design, automation and test in Europe S. 467 - 471
Hauptverfasser: Vazquez, P., Juan-Chico, J., Bellido, M., Acosta, A., Valencia, M.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Piscataway, NJ, USA IEEE Press 13.03.2001
Schriftenreihe:ACM Conferences
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISBN:9780769509938
0769509932
DOI:10.5555/367072.367328