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