Study of a cellular machine for integrated circuit logic simulation

Étude d'une machine cellulaire pour la simulation logique de circuits intégrés

Jean-Pierre Bernard (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

Cette thèse propose une architecture cellulaire pour la simulation logique. Une première partie présente la simulation logique. Les modélisations, algorithmes, structures des simulateurs classiques sont décrits. Un recensement et une étude sommaire des machines spécialisées existantes sont proposés ainsi qu'une classification des machines cellulaires. Une deuxième partie présente les spécifications d'une architecture cellulaire et propose des solutions aux problèmes d'affectation et d'acheminement soulevés. Une troisième partie décrit la cellule de base d'une manière détaillée dans un réseau 8×8 et évalue la complexité et les performances attendues. Une dernière partie expose les performances globales de simulation du réseau de base et cite quelques extensions dans et hors de la simulation logique

Mots clés: Computer simulation; Logic simulation; Integrated circuit; System architecture; Modular construction; Computer aided design; VLSI circuit; Algorithm; Modeling; Simulator; Performance; Logic gate; Interconnection; Hierarchical system; Logic circuit

Mots clés: Simulation ordinateur; Simulation logique; Circuit intégré; Architecture système; Construction modulaire; Porte logique; Conception assistée; Interconnexion; Circuit VLSI; Système hiérarchisé; Algorithme; Circuit logique; Modélisation; Simulateur

Domaines: Modélisation et simulation

Jean-Pierre Bernard. Étude d'une machine cellulaire pour la simulation logique de circuits intégrés. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩. ⟨tel-00315630⟩