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