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