4 - Formalisation en occam et simulation sur un réseau de Transputers d'un processeur systolique de traitement d'images

Show full item record

Files in this item

PDF 004.PDF TEXTE.pdf 1042.Kb

Pour citer ce document :
URI: http://hdl.handle.net/2042/1713
Title: 4 - Formalisation en occam et simulation sur un réseau de Transputers d'un processeur systolique de traitement d'images
Author: PIRSON (A.); DAVID (D.); JACQUOT (J.-L.); COURT (T.)
Abstract: L'inconvénient majeur des algorithmes de voisinage (filtrage linéaire, morphologique) réside dans le coût associé à leur mise en oeuvre, principalement dans le domaine du traitement d'images où il croît avec le carré de la taille du voisinage . Il a toutefois été montré dans PIR [1] que de nombreux algorithmes couramment utilisés pouvaient être décrits sous la forme d'une cascade de cellules élémentaires particulières . Le caractère hautement intégrable de ces cellules nous a amené à concevoir un processeur systolique de voisinage basé sur le principe de la synthèse par cascades de cellules . Le passage d'une représentation fonctionnelle (graphe de fluence, modèle mathématique) à une structure matérielle soulève un certain nombre de problèmes . En outre, le coût lié à la réalisation d'un circuit intégré exige une extrême prudence, imposant généralement le recours à de nombreuses simulations . Le présent papier fournit un bref aperçu de la méthode de synthèse par cascades de cellules . Il montre ensuite la puissance du langage occam comme outil de formalisation appliquant celui-ci à la modélisation des cascades de cellules . La compilation du modèle au moyen d'outils adéquats fournit un code directement exécutable par un réseau de Transputers, ce qui conduit à une simulation performante . La hiérarchie incluse dans le langage permet une décomposition en niveaux d'abstraction de plus en plus fins, en vue d'ajuster la précision du modèle au type de simulation désiré .
Description: The most significant drawback in using neighbourhood processing (linear filtering, morphology) is the cost of ils implementation, particularly in the area of image processing where the cost grows in proportion to the kernel size squared . However, in PIR [1] it was shown that a large amount of classical algorithms could be described as a cascade of peculiar elementary tells. Being highly integrable, these tells brought about the design of a neighbourhood systolic processor. Converting a functional description (e .g . flow graph, mathematical model) into a hardware structure raises several technical problems . In addition, the cost of designing an integrated circuit requires special cure, making it necessary to perform many simulations . The first part of this paper gives a short description of the décomposition method. It then goes on ta describe the power of occam as a design formalism, applying it to the cascaded tells modelisation . Furthermore, the obtained model can be compiled into a code directly loadable into a Transputer network, resulting in a performant simulation . The hierarchy of occam allows a description at différent levels of abstraction, in order to fit the precision of the model to the desired type of simulation .
Subject: Traitement image; Processeur; Réseau systolique; Simulation ordinateur; Méthode décomposition; Langage OCCAM
Publisher: GRETSI, Saint Martin d'Hères, France
Date: 1990

This item appears in the following Collection(s)

Show full item record





Advanced Search