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