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