Monthly Shaarli

All links of one month in a single page.

March, 2021

Crossbars in CuFlow

Beuh ... un programme Python pour router son PCB !

Formal verification in VHDL using PSL - VHDLwhiz
thumbnail

À noter en passant que GHDL a un support (partiel) du PSL.

Du papier millimétré à imprimer — rendez-vous sur ArraKISS

en dix lignes de Latex, tout simplement.

Chisel et UVM

Un projet d'allier Chisel avec UVM
Pour les explications c'est par là : https://github.com/chiselverify/documentation/tree/master/presentations

Une voiture fauche 18 cyclistes près de Saint-Etienne, un adolescent en urgence absolue - Nice-Matin
thumbnail

«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 ...

Formal Assertion based Verification in Industrial Setting

Un bon tutoriel sur la Vérification Formelle

Wave Computing se rebaptise Mips et prépare des cœurs RISC-V – L'Embarqué

La société Mips va faire du RISCV ;)

DevTerm | ClockworkPi

Très classe, dommage pour le clavier en quinconce par contre.

vim - Ctrl-s hangs the terminal emulator? - Unix & Linux Stack Exchange

Ça m'arrive régulièrement : pour sortir d'un vim bloqué par un Ctrl-S faire simplement Ctrl-Q ;)

vlsistuff

Plein de script python3 utiles pour le développeur vlsi.

L’orthographe comme outil politique de domination

« L’orthographe servira à distinguer les gens de lettres des ignorants et des simples femmes»

Il ne faut jamais débattre avec l’extrême-droite | by Nicolas Galita | Dépenser, repenser | Mar, 2021 | Medium - Liens en vrac de sebsauvage

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é.

Chips4Makers.io – PDKMaster v0.1 release and FreePDK45 example

PDKMaster, le PDK (pour la conception d'ASIC) open-source bricolé par un gus dans son garage !

Sparkfun Thing Plus - Quicklogic EOS S3 Arm eFPGA board launched in Crowd Supply

Cette carte est TRÈS ressemblante à là quickfeather. Sans doute une reprise du schéma Kicad fournie par QuickLogic.
Reprise qu'ils encouragent.

fpga_pio

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.

gerbolyze SVG to PCB with kicad or Gerber
MJoergen formal
thumbnail

Plein d'exemple de verif formel en VHDL avec symbiYosys.

Ostéopathie contre le mal de dos : pas plus efficace qu'un placebo ?
Cocotb Bus Functional Models | Verification Horizons

Un simple BFM avec cocotb

Colmar on s'y gare ! | L'attitude 90

J'adore ce slogan, tellement con.

Idee.paris - 10m2 en bas de chez vous - Transformer les places de stationnement: nous voulons votre avis!

Et pendant ce temps à Colmar le slogan est «Colmar on s'y gare» !

Les SUV en ville c'est fini ? - Broute - CANAL+ - YouTube

«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.»

Guillaume Meurice : Le bouffon du Roi ? [ EN DIRECT ] - YouTube

Je VEUX un chèque de Meurice avec ma part de redevance ;)

Prepping the Perseverance Power Source - YouTube

Et voila, encore une voiture nucléaire posée sur mars.

dotepub — download any webpage as an e-book

Pour convertir une page web simplement en epub à mettre dans son livre électronique.

DIY: the remote control that switches every TV off : Makery

Extincteur de Télé universelle: éteint toutes les télés.