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