Dans le tableau ci-dessous, nous présentons l'ensemble des fichiers employés dans les tests effectués sur le circuit
rpdft .
Les détails des tests sont donnés dans exp-rpdft.
| Tests | VHDL | Délais | Environnement | HyTech | Uppaal | Propriétés à vérifier |
|---|---|---|---|---|---|---|
| test 1 | rpdft.vhd | rpdft.tmp | rpdft.env | rpdft.hy | rpdft.ta | rpdft.q |