Simulation symbolique de descriptions comportementales de circuits digitaux

Symbolic simulation of behavioral descriptions of digital circuits

• Auteur / Autrice : Rémy Rogacki
• Direction : Janine Magnier
• Type : Thèse de doctorat
• Discipline(s) : Composants, signaux et systèmes
• Date : Soutenance en 1992
• Etablissement(s) : Montpellier 2

Mots clés

Mots clés contrôlés

Simulation, Méthodes de

VHDL (langage de description de matériel informatique)

Informatique

Arithmétique

Réécriture, Systèmes de (informatique)

Structures de données (informatique)

Systèmes experts (informatique)

Modèles mathématiques

Conception et construction

Circuits intégrés numériques

Résumé

La simulation symbolique est une méthode de vérification dérivée de la simulation conventionnelle dans laquelle les valeurs numériques des entrées du modèle sont remplacées par des symboles. La simplification de ces valeurs symboliques constitue un point important d'une part, pour une mise en œuvre efficace de cette technique de simulation et, d'autre part, pour fournir des informations significatives au concepteur. Un simulateur symbolique de descriptions comportementales de circuits digitaux est présenté. Le mécanisme de simulation, adapté a la représentation interne de la description VHDL, est détaillé. Âpres une étude théorique du processus de simplification des expressions arithmétiques base sur un système de réécriture, les méthodes de représentation et de manipulation sont explicitées: diagrammes de décision binaire pour les expressions à valeur booléenne, formes normalisées pour les expressions arithmétiques