Tests du circuit spsmall-blueb-lsv1

Dans le tableau ci-dessous, nous présentons l'ensemble des fichiers employés dans les tests effectués sur le circuit spsmall-blueb-lsv1 .
Les détails des tests sont donnés dans exp-spsmall-blueb-lsv1.

Tests VHDL Délais Environnement HyTech Uppaal Propriétés à vérifier
test 1 spsmall-blueb-lsv1.vhd sp1.tmp env1.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q
test 2 spsmall-blueb-lsv1.vhd sp2.tmp env1.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q
test 3 spsmall-blueb-lsv1.vhd sp1.tmp env2.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q
test 4 spsmall-blueb-lsv1.vhd sp2.tmp env2.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q
test 5 spsmall-blueb-lsv1.vhd sp1.tmp env3.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q
test 6 spsmall-blueb-lsv1.vhd sp2.tmp env3.env spsmall-blueb-lsv1.hy spsmall-blueb-lsv1.ta spsmall-blueb-lsv1.q