VHDL2TA (translation of VHDL Programs to Timed Automata) est un outil de traduction des circuits numériques décrits en VHDL en réseaux d'automates temporisés décrits dans le langage de description des outils d'analyse tels que, UPPAAL, HyTech ou IMITATOR2.
VHDL2TV (Translation of VHDL Programs to Timed VHDL Programs) est un outil qui permet de permet de générer un programme VHDL temporisé prêt à simuler à partir d'un simple programme VHDL décrivant la fonctionnalité du circuit à analyser, les annotations temporelles associées à ses portes et l'environnement de ses signaux d'entrée.