Implantation vlsi d'un algorithme de code correcteur d'erreurs et validation formelle de la realisation

par Peter Bieliczky

Thèse de doctorat en Sciences appliquées

Sous la direction de Alain Greiner.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    Datasafe est un circuit integre specialise dans le calcul d'une nouvelle famille de codes correcteurs d'erreurs: les codes belekamp-massey-dornstetter (bmd). Les performances des codes bmd en matiere de correction d'erreurs sont proches des codes de reed-solomon actuellement tres utilises dans l'industrie (deux symboles de redondance corrigent une erreur). Toutefois, les codes bmd ont l'avantage d'etre systematiques, tres performants en cas d'erreurs groupees, de prendre en compte de facon naturelle le traitement des effacements et de conduire a une realisation electronique plus simple. Le code retenu ici est de longueur 30 octets, la redondance est entierement parametrable de 5% a 95%. Le circuit datasafe a ete realise en standard-cell, sous alliance, la chaine de cao du laboratoire methodologie et architecture des systemes informatiques (masi) de l'universite pierre et marie curie. Datasafe comprend 4 000 portes et 35 000 transistors. Il code a la volee 30 mbit/s en technologie cmos 1. 2. Une carte prototype au standard isa et un logiciel de pilotage ont ete developpes pour utiliser datasafe a partir d'un ordinateur compatible pc. La conception de datasafe repose sur l'utilisation de methodes formelles inspirees des techniques de preuve de programmes: automates a etats finis, preuve par invariants. La correction des specifications est assuree par une analyse statique de l'automate sous-jacent, puis la conformite de la realisation avec ces specifications est demontree. Datasafe peut etre utilise comme macro cell d'un circuit plus important, en particulier dans le domaine des transmissions rapides

  • Titre traduit

    Vlsi implementation of an error correcting code and formal proof of the chip


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 144 P.
  • Annexes : 18 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Biologie-Chimie-Physique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1993 670
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1993

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1993-BIE
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.