5 private links
Plein d'exemple de verif formel en VHDL avec symbiYosys.
À noter en passant que GHDL a un support (partiel) du PSL.
Plein de script python3 utiles pour le développeur vlsi.
« L’orthographe servira à distinguer les gens de lettres des ignorants et des simples femmes»
Un simple BFM avec cocotb
en dix lignes de Latex, tout simplement.
Débattre (en public) avec l'extrême droite c'est comme jouer aux échecs avec un pigeon: Tu as beau être très fort aux échecs, il arrive, renverse les pièces, chie sur l’échiquier et s’en va avec l’air supérieur comme s’il avait gagné.
J'adore ce slogan, tellement con.
Un projet d'allier Chisel avec UVM
Pour les explications c'est par là : https://github.com/chiselverify/documentation/tree/master/presentations
Et pendant ce temps à Colmar le slogan est «Colmar on s'y gare» !
Une voiture fauche 18 cyclistes près de Saint-Etienne, un adolescent en urgence absolue - Nice-Matin
«Choquée, la conductrice du véhicule impliqué devait être entendue par les militaires.»
Pauvre conductrice, on espère que tous ces voyous de cyclistes prendrons de la prison bien sûr ...
«Quand on voit qu’une grande marque américaine comme Jeep arrive à transformer un génocide en succès commercial avec leur Cherokee. Moi j’ai hâte que la Chine lance ses précommandes pour un SUV Ouïghours.»
PDKMaster, le PDK (pour la conception d'ASIC) open-source bricolé par un gus dans son garage !
Cette carte est TRÈS ressemblante à là quickfeather. Sans doute une reprise du schéma Kicad fournie par QuickLogic.
Reprise qu'ils encouragent.
Je VEUX un chèque de Meurice avec ma part de redevance ;)
Un bon tutoriel sur la Vérification Formelle
Et voila, encore une voiture nucléaire posée sur mars.
La société Mips va faire du RISCV ;)
Une implémentation en Verilog du processeur PIO de la Pico Pi.
C'est une implémentation «off» inspiré de la spec officielle, mais visiblement on peut déjà faire de l'uart ou de l'i2s avec.