Le front de libération des FPGA version international !

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

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

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

Sérieux, nan mais stop on arrête c'est bon !
Vous voulez pas vous poser et vous calmer mesdames et messieurs les politiques ?
La news de linuxfr n'est pas un manuel, c'est un poisson d'avril !
https://linuxfr.org/news/mise-en-place-du-port-du-masque-avec-qrcode-d-identification

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