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