Journal Un RISC-V sous Linux pour $12.50

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
29
9
nov.
2020

Cher journal,

On continue dans la montée en puissance du jeu d'instructions initié à Berkeley (mais dont la fondation est désormais hébergée en suisse) avec un processeur qui nous viens de Chine : le XuanTie C906.

C'est la société Sipeed (spécialisé dans les kit de développement et autres module à base de puces chinoises) qui l'a annoncé sur le silo social «twitter».

Difficile d'avoir plus d'info que ce piaillement. Le site chinois du constructeur t-head est un peu (…)

Journal Un RISC-V sous Linux abordable grâce au Kendryte K210 et Western Digital

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
28
3
déc.
2019

Cher journal,

Je t'avais déjà dit que RISCV était desktop-ready grâce au travail de Western Digital sur la carte HiFive Unleashed.
Mais tu trouvais sans doute qu'un «pc» à plus de 3000€ c'était un peu cher.

Du coup tu seras sans doute ravi d'apprendre que Western Digital remet le couvert avec le portage de Linux (+Busybox) sur un petit processeur (très gros microcontrôleur) chinois -> le kendryte K210.

Pour cela, Western Digital a utilisé le kit Maix Go (…)

Journal Le VHDL prend-il l'eau ?

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
28
12
nov.
2014

Le VHDL est un langage de simulation numérique. C'est initialement une commande de l'armée américaine pour standardiser les spécifications de circuits numériques. Le VHDL a été standardisé à coup de pelle à neige par l'IEEE en se basant sur le langage ADA.

Du langage de simulation, le VHDL est passé au langage de description hardware avec l'arrivée des FPGA/ASIC. Les constructeurs de FPGA fournissant des outils de conversion VHDL->netlist pour leurs propres composants. Chacun y allant de son interprétation du (…)

Journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
27
19
oct.
2022

Cher journal,

Depuis le temps que j’apprends le Rust, je me demandais pourquoi il n'y avait pas de système d'exploitation dans ce langage, surtout dans l'embarqué. En effet, la protection mémoire et les nombreuses vérifications faites à la compilation en font un super langage pour l'embarqué où il est toujours compliqué de déverminer «en live» via des sondes et autre débuggers.

Tous les FreeRTOS, Zephyr et autre Nuttx se basent tous sur le langage C que ça soit pour (…)

Sortie de GHDL version 1.0.0

Posté par  (site web personnel, Mastodon) . Édité par palm123, Yves Bourguignon, bubar🦥, Benoît Sibaud et Ysabeau 🧶. Modéré par ted. Licence CC By‑SA.
Étiquettes :
27
6
fév.
2021
Matériel

GHDL est un logiciel écrit en Ada permettant de faire l'analyse, la compilation, la simulation ainsi que la synthèse du VHDL. Le VHDL, quant à lui, est un langage de description matériel très utilisé dans le développement sur FPGA ou ASIC. À l'origine, GHDL est un « side-project » de Tristan Gingold lui permettant de se faire la main avec Ada.

GHDL est devenu l'outil indispensable pour faire de la simulation VHDL aujourd'hui. Après presque 20 ans de développement, voici que sort en version 1.0.0 le logiciel de simulation VHDL nommé GHDL. En prime, GHDL s'offre un nouveau logo:

logo GHDL

Icestudio 0.2, du schéma au verilog

27
24
juil.
2016
Matériel

IceStudio est un logiciel graphique permettant de concevoir un design FPGA à la manière d’un schéma électronique. Le logiciel est encore largement expérimental et centré sur les FPGA ice40 de chez lattice. Écrit en JavaScript autour de Nodejs, le logiciel permet de dessiner son projet au moyen de blocs reliés entre eux par des signaux.

IceStudio est sous licence GPLv2.

NdM : à noter, ce projet bénéficie d'un soutien du fabricant espagnol BQ (connu également pour fournir des matériels avec Ubuntu pré-installée)

Sortie de Cocotb version 2.0.0

Posté par  (site web personnel, Mastodon) . Édité par BAud, jtremesay et Ysabeau 🧶. Modéré par Ysabeau 🧶. Licence CC By‑SA.
Étiquettes :
27
21
oct.
2025
Technologie

Cocotb, le cadriciel libre de vérification matérielle en Python, vient de publier sa version majeure 2.0. Cette sortie marque une étape importante dans l’évolution de ce projet qui permet de tester des circuits numériques décrits en VHDL ou Verilog directement depuis Python, sans avoir à écrire de testbench en HDL.

Pour celles et ceux qui ne connaissent pas encore cocotb, il s’agit d’un outil qui facilite grandement la vie des personnes travaillant sur la conception de circuits intégrés. Plutôt que d’écrire des bancs de test complexes en VHDL ou Verilog, cocotb permet d’utiliser Python et son écosystème riche (NumPy, pytest, etc.) pour vérifier le comportement des circuits.
Cocotb (Coroutines-based Cosimulation Test-Bench) permet d’écrire en python des bancs de test qui vont piloter directement le simulateur HDL via différentes interfaces (VPI, VHPI, FLI). La plupart des simulateurs HDL du marché sont supportés, qu’ils soient libres ou non.

Logo cocotb

Journal Autorisation de captation et diffusion d'images et de voix de vos enfants

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
26
6
oct.
2025

Cher journal,

Le sprint de la rentrée du mois de septembre étant terminé, tu as certainement toi aussi été confronté à la question du droit à l'image pour tes enfants. Que ça soit à l'école, dans les activités sportives ou autre activités associatives, tout le monde te fais signer un papier plus ou moins clair pour autoriser à diffuser l'image/la voix de ton enfants un peu partout.

Certains formulaires sont bien fait, avec plusieurs choix d'autres sont plus douteux.

Journal Légumes rôtis

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
26
22
jan.
2025

Cher journal,

Moi aussi je voulais te faire par d'une recette de cuisine que j'aime bien :

Les Légumes rôtis.

  • Légumes/pomme de terre du moments
  • quelques gousses d’ail sans le germe
  • Huile d’olive/tournesol (prendre un mélange c’est moins cher)
  • Paprika
  • sel
  • poivre

L'algorithme :

  1. Laver/évider les légumes et les couper grossièrement (pas la peine d’éplucher).
  2. huiler le plat avec un papier ménage
  3. disposer les légumes tranches vers le haut
  4. saler, poivrer, papriker et mettre un filet d’huile d’olive/tournesol sur chaque (…)

CocoTB 1.4.0, la maturité

Posté par  (site web personnel, Mastodon) . Édité par palm123, Davy Defaud et Nils Ratusznik. Modéré par claudex. Licence CC By‑SA.
Étiquettes :
26
17
juil.
2020
Matériel

C’est dans la soirée du 8 juillet que l’annonce est tombée : la version 1.4.0 de CocoTB est sortie. Cette nouvelle version est une belle évolution de Cocotb avec une bonne intégration dans le système de paquets de Python ainsi que l’abandon de la prise en charge de Python 2. On peut aujourd’hui dire que CocoTB est une alternative sérieuse pour écrire ses bancs de test HDL.

Journal Enfin un maire qui a la tête sur les épaules

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
24
28
oct.
2018

Cher journal,

Une nouvelle radiophonique me met en joie ce dimanche soir, un maire a enfin pris une vrai disposition concernant les chasseurs : Forcer les promeneurs en forêt à porter un gilet jaune.
Timide reconnaissance d'un vrai problème, personnellement j'aurai plutôt forcé ces inconscients à porter un gilet pare balle (acquis à leur frais bien sûr).
Non mais c'est vrai quoi, ils y en a même qui osent aller en forêt avec des enfants. Après tout les chasseurs portent (…)

Journal classeur, un script python quick&dirty pour avoir tout son texte dans un seul fichier

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
23
11
jan.
2024

Cher journal,

Il y a quelques semaines je demandais sur le forum linuxfr comment utiliser vim pour avoir tous les fichiers textes d'un document dans un même buffer.

S'en est suivi une réponse fleuve de Gil Cot transformée elle même en journal.

Pour résumer, mon problème était le suivant : J'aime bien rédiger ma documentation en markdown: ça fait de beaux diff, c'est lisible en texte brut et c'est convertible en tout un tas de format avec (…)

Journal Intégration de TapTempo-Chisel sur APF27

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
23
23
mai
2018

Dans un premier journal je décrivais le «core» de TapTempoChisel. Passons maintenant à l'intégration sur un vrai FPGA physique.

J'ai choisi pour cela une carte APF27 de chez armadeus. Cette carte possède un FPGA Spartan3A de chez Xilinx mais elle possède également un microprocesseur i.MX27 permettant de faire tourner Linux. La philosophie de la carte étant d'avoir une zone «en friche» avec le FPGA permettant d'ajouter des périphériques sur mesure.

Périphérique que nous allons construire avec le projet TapTempo. Le (…)

Journal TapTempo en Scala

Posté par  (site web personnel, Mastodon) . Licence CC By‑SA.
Étiquettes :
22
23
juil.
2018

Le sujet TapTempo est très intéressant pour apprendre un nouveau langage de programmation. En effet, il est beaucoup plus complet qu'un simple Hello World ! Il nous impose de se plonger dans les arcanes du langage et de ses outils pour gérer le temps, l'affichage mais aussi les arguments de la ligne de commande ou les structures «complexe» comme les listes ou les buffers.

Bon évidemment, quand il s'agit d'un langage de description hardware comme présenté la dernière fois avec (…)

Sortie de la version 0.6.0 du configurateur de FPGA openFPGALoader

22
17
déc.
2021
Matériel

openFPGALoader est un utilitaire en ligne de commande, écrit en C++ et sous licence Apache 2.0. Il permet de configurer des FPGA de toutes marques. L’objectif du projet est de pouvoir prendre en charge tous les FPGA du marché ainsi que tous les adaptateurs et sondes de configuration.