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