Introduction
Dans le cadre de mon activité chez Armadeus Systems je suis amené à faire des prestations sur :
-
Du développement d'«IP» VHDL, Verilog et Chisel sur FPGA
Spartan/Artix7(Xilinx), Cyclone(Intel), Ice/MachXO3(Lattice), Igloo2 (Microsemi), ANlogic, Gowin, Efinix
-
Du développement de pilote Linux.
-
De la conception de carte électronique : schématique, routage, fabrication.
-
Conception de testbench autonomes de cartes électroniques, avec pilotage en Python.
-
Gestion de la traçabilité des cartes produites (Base de données MySQL) via un site intranet (Python/Flask).
-
Maintenance de POD (Peripheral On Demand),
logiciel de génération de design VHDL écrit en Python.
Pour toutes demandes de devis/prestation ne pas hésiter à contacter mon employeur Armadeus Systems
Connaissances
Developpement
- VHDL, Verilog, Chisel, Cocotb
- C, Python, Scala
- Conception électronique
- Pilotes Linux, Interruptions, UIO, ...
- Testbench
- MySQL, Flask
- HTML/CSS
Logiciels
- Mentor PAD, Kicad
- GIT, Vim
- Buildroot, Makefile
- Bash
Matériel
- FPGA: CycloneV, Spartan3/6, ICE40, ECP5, MachXO3, ARTIX7, Igloo2, Efinix, Gowin, ANLogic
- Sérialiseurs/désérialiseurs, PCI express, DDR3
- i²C, SPI, Bus Mémoire, DMA
- Cartes Armadeus: APF9328, APF28, APF27, APF51, APF6, APF6SP, OPOS6UL, OPOS6UL_SP, OPOS6UL_NANO
Formation
École Nationale Supérieur d'Électronique, Informatique et Radiocommunication de Bordeaux (ENSEIRB) Diplômé en 2008.
Expérience
Ingénieur en Électronique chez Armadeus Systems depuis 2008
Publications
- Accélérez vos simulations VHDL avec Verilator
Hackable 45 novembre/décembre 2022
- Transformez votre vieille Game Boy en console de salon HDMI
Hackable 44 septembre/octobre 2022
- Verilator, le simulateur Verilog le plus rapide du monde
Hackable 43 juillet/août 2022
- De la preuve formelle en VHDL, librement
Hackable 42 mai/juin 2022
- Chisel, construire du matériel en langage Scala
Hackable 40 Janvier/Février 2022
- Le premier FPGA avec sa chaîne de développement open source
Hackable 40 Janvier/Février 2022
- Une sortie VGA pour Game Boy
Hackable 39 Octobre/Novembre/Décembre 2021
- De la preuve formelle en Verilog, librement
Hackable 37 Avril/Mai/Juin 2021
- Une carte pilote de LED RGB hackée en kit de développement FPGA à bas coût
Hackable 35 Octobre/Novembre/Décembre 2020
- Un RISC-V à bas coût pour monitorer votre PC avec LCDProc
Hackable 33 Avril/Mai
2020
- Des kits de développement FPGA à moins de 30€
Hackable 32 Janvier/Février/Mars 2020
-
La liberté jusqu'au cœur du processeur avec Risc-V.
Hackable 31
Octobre/Novembre/Décembre 2019
- Retrouvez le plaisir du test HDL avec Cocotb. Linux Magazine 222 Janvier 2019
- De beaux chronogrammes avec WaveDrom.
Linux Magazine 205 Juin 2017
- Écrire un pilote en Userspace pour le FPGA grâce au pilote UIO.
Opensilicium 18 Avril-Juin 2016
- Icestorm, une chaîne de développement libre pour FPGA.
Opensilicium 17 Janvier-Mars 2016