Détail de l'auteur
Documents disponibles écrits par cet auteur (16)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Article : texte imprimé
Fabien Marteau, Auteur | 2024Dans un premier article, nous avons analysé les performances de l'addition dans un compteur pour faire clignoter une LED. Dans ce second opus, nous allons voir qu'il est possible d'accélérer grandement la vitesse de l'horloge en changeant la manière de compter les cycles pour éviter d'avoir à additionner. (Extra...
Article : texte imprimé
Fabien Marteau, Auteur | 2024Les électroniciens sont des humains comme les autres, ils ont deux mains, deux pieds et une tête. Quand il s'agit de faire des mesures avec les deux sondes de l'oscilloscope, les deux mains sont vite prises. Comment peut-on encore appuyer sur les boutons de l'engin alors que toutes nos main...
Article : texte imprimé
Fabien Marteau, Auteur | 2024Pour évaluer un nouveau FPGA, on commence généralement avec la conception d'un compteur pour faire clignoter une LED. Ce HelloWorld simpliste nous amène à utiliser toute la chaîne de développement, de la conception du circuit en langage HDL jusqu'à la configuration du FPGA sur le kit. En passant b...
Article : texte imprimé
Fabien Marteau, Auteur | 2023Dans un précédent article, nous avons présenté le simulateur Verilator. C'est un simulateur un peu particulier qui convertit le modèle HDLen une classe C++. Le banc de test est ensuite écrit sous la forme d'un programme en C++. Nous avons montré qu'avec cette méthode, on accélère énormément la sim...
Article : texte imprimé
Fabien Marteau, Auteur | 2022On se propose ici d'utiliser un FPGA GWNSR de la société chinoise Gowin pour transformer sa Game Boy en véritable console de salon, avec le branchement HDMI ainsi que la manette de super NES. Le (relatif) plug & play du montage transforme ainsi la Game Boy en une Game Boy-Switch rét...
Article : texte imprimé
Fabien Marteau, Auteur | 2022Concevoir des composants numériques en Verilog passe nécessairement par la simulation. Pour simuler du Verilog, il existe un logiciel open source nommé Icarus qui remplit bien sa fonction. il existe également des simulateurs non libres qui sont généralement plus performants. Mais tous ces simulateurs ont le même défaut, i...
Article : texte imprimé
Fabien Marteau, Auteur | 2022Dans cet article, on se propose d'aborder la méthode de vérification formelle pour le VHDL. Cette méthode a récemment été rendue possible avec GHDL et Yosys grâce au projet d'extension ghdl-yosys-plugin qui fait le lien entre les deux logiciels. Nous allons également découvrir le langage PSL (Properties Specification Lang...
Article : texte imprimé
Fabien Marteau, Auteur | 2022Chisel est un langage de description de matériel (HDL pour Hardware Description Language) né à l'université de Berkeley en même temps que le jeu d'instructions RISC-V. Chisel est basé sur le langage de programmation multiparadigme Scala. Ce langage permet de décrire un système synchrone et de générer du cod...
Article : texte imprimé
Fabien Marteau, Auteur | 2021Pour prendre en main un nouveau FPGA, il est d'usage de faire clignoter des LED. C'est amusant, mais ne montre pas réellement l'intérêt des FPGA. Pour présenter le FPGA Trion T8 de la jeune société Efinix, nous allons donc sortir de ces éternels clignotements et réaliser une interface vid...
Article : texte imprimé
Fabien Marteau, Auteur | 2021Dans cet article, on se propose de découvrir une autre méthode de validation d'un composant écrit en Verilog. L'idée est de décrire les propriétés du composant et de laisser l'ordinateur chercher les stimuli qui feront échouer des propriétés. ça n'est plus le développement qui écrit les tests, mais...
