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