VHDL

Possibilité d'analyse formelle La description formelle(3) Formalismes Formalismes de base  Automates à états finis  Réseaux de Petri  Systèmes de transitions étiquetés  Algèbres de processus Formalismes de haut niveau  SDL  ESTELLE  LOTOS  VHDL Automates à états finis Les réseaux de Petri Systèmes de transitions étiquetées Algèbre des processus Pour résumer … • L’étape de spécification force à comprendre ce que doit faire chaque composant • La spécification permet d’argumenter

F.CAIGNET systèmes Numériques – MEEA Plan Plan du du Cours Cours d’introduction d’introduction I : Introduction aux systèmes - généralités sur les systèmes - les différents types de systèmes numériques II. Les FPGA III. Le langage VHDL IV. Les convertisseurs CAN et CAN III. Protocole de communication : bus CAN F.CAIGNET systèmes Numériques – MEEA I.I. Introduction Introduction aux aux systèmes systèmes I. Notions élémentaires en électroniques numérique - électronique

Motorola, Texas Instrument,...). Nous ferons un historique et un tour d'horizon des langages de description, en insistant sur VHDL, standard IEEE fort répandu dans le monde industriel. Puis nous aborderons les problèmes liés à la vérification formelle, nous verrons comment des techniques de model checking ou de theorem proving peuvent s'appliquer à la validation de descriptions VHDL. ABC1 : Programmation des systèmes distribués Responsable : Michel Riveill La construction des applications parallèles

créer nouveau standard de processeur à bas coût. 1991-1993 : Licenses à VLSI, Sharp, GEC,Texas Instruments 1998 : London Stock Exchange, Nasdaq. 2005 : 1250 employés, implantée dans 12 pays. 9 2. ARM : le métier Conception et fabrication License VHDL Outils dévlpt ARM LTD Fondeur (Intel, TI, Samsung, TSMC, UMC, IBM…) 10 Les résultats 2012 : http://ir.arm.com/phoenix.zhtml?c=197211&p=irol-presentations 3. Processeurs FF..FF16 instructions registers address data processor instructions and

Les systèmes numériques se sont complexifiés et la mise sur le marché est plus rapide ! (notion de Design Reuse et d’Intellectual Property). Evolution de la conception Portes logiques 100 M System C ! Propriété Intellectuelle 1M VHDL - VERILOG 10 K 5K RTL Schématique Équations 1991 1993 1995 1997 1999 2001 2003 2005 2007 Codesign hardware / software Le codesign dans la méthodologie de conception d’un système embarqué est de plus en plus

définition de certains langages et technologies. On peut dire que : • Il existe des langages et des préoccupations (de description ou de programmation) qui répondent au "coeur de métier" d'un intervenant de cette chaîne. (Par exemple, le langage VHDL est au coeur de l'activité des ingénieurs qui conçoivent, programment et mettent en circulation des puces électroniques effectuant des opérations "précâblées"). • Il existe des langages et des formalismes qui sont censés permettre à ces différents

de poste » ? Par une information orale imprécise définissant ce que vous deviez faire ? Par une fiche précise d’objectifs indiquant par écrit les missions attendues, les délais, les collaborations, les moyens… ? Les outils de résolution (maîtrise du VHDL, hyperfréquences, langage C…acquis théoriques divers …) ont ils été précisés dès le départ ? Votre formation en école vous avait elle donné la maîtrise de ces outils ? Cette communication initiale aurait-elle pu être plus efficace ? Avez-vous le sentiment

utilisent des outils mathématiques et des méthodes de preuve pour construire un logiciel correct par construction dont la vérification est automatisée ou assistée. Méthodes : méthode B, Model-checking, Logique de Hoare . . . Outils et notations : Coq, Z, VHDL, Atelier B, CASL, Why, Frama-C, . . . Ces méthodes sont utilisées pour développer des logiciels critiques. Elles correspondent au niveau le plus élévé de certification. Comment fabriquer un logiciel de qualité ? Les approches semi-formelles visent

............................ 25 v.Format des trames RS232 .......................................................................... 26 vi.Synchronisation entre émetteur et récepteur ............................................ 27 vii.Programme en Vhdl utilisé pour l’UART ................................................ 28 viii.La description du programme ................................................................. 32 2) configuration et liaison de deux modules Xbee, à l’aide de XTU .......

terminale de programmation et de tests. 17 Résumé Tout au long de ce projet, nous avons élaboré des solutions techniques afin que notre projet réponde au mieux au cahier des charges, pour cela nous avons dû mettre en œuvre nos connaissances du langage VHDL et du logiciel Orcad. Dans la continuité de ce projet, nous pouvons envisager l'élaboration d'un système beaucoup plus réduit et autonome au niveau de l'alimentation afin de minimiser la consommation de la carte. De plus, nous pouvons envisager l'ajout