Prof. Yann Thoma

Laboratoire de vérification SystemVerilog semestre automne 2010 - 2011 Analyseur de paquets

Introduction
Ce laboratoire a pour but de mettre en place un environnement de vérification pour un analyseur de paquets. L’analyseur de paquet comporte une entrée sérielle par laquel les paquets sont reçus. Il est chargé de les analyser et de fournir en sortie différentes informations sur un port parallèle 8 bits. Une entrée supplémentaire sur 8 bits indique la qualité de réception du paquet. Outre la sortie présentant une donnée 8 bits, une deuxième sortie permet d’indiquer si la donnée est valide ou non. Le composant possède évidemment également une horloge et un reset en entrée. Les paquets suivent le format suivant : 8 Préambule 32 Addresse 16 Entête dataLength× 8 Données

Le préambule correspond à la valeur binaire 01010101. L’adresse permet de savoir à quelle communication correspond le paquet. L’entête contient diverses informations concernant le paquet. Les données correspondent simplement aux données du paquet. Il existe en outre deux types de paquet : Advertising et Data. Les paquets d’advertising ont les caractéristiques suivantes : 1. L’adresse est toujours 0x12345678 2. Le nombre d’octets de données est donné par les 4 bits de poids faible du deuxième octet de l’entête 3. La taille maximale des données est donc de 16 octets 4. Les 4 premiers octets des données contiennent une adresse qui sert ensuite à détecter des paquets de données Les paquets de données ont les caractéristiques suivantes : 1. L’adresse est quelconque. 2. Un paquet de données n’est valide que si un paquet d’advertising a déjà été envoyé avec l’adresse dans les données correspondant à l’adresse du paquet. Cette contrainte n’est pas appliquée dans la première partie du laboratoire. 3. Le nombre d’octers de données est donné par les 6 bits de poids faible du deuxième octet de l’entête 4. La taille maximale des données est donc de 64 octets L’analyseur de paquet renvoie des