Une illusion d'optique sympathique à faire avec les enfants.

Comment reproduire un bug dans une transmission grâce à la méthode formelle.

Sous le coude: un filtre gtkwave pour afficher les états dans le chronogramme plutôt que leurs codes

Pong en verilog

Génial

(et rien pour mon train)

[Via standblog: https://standblog.org/blog/post/2020/08/08/En-vrac-du-mois-d-aout]

Pas mal

Sérieux, ils osent faire un truc comme ça ?

Pipeline C permet de décrire un composant numérique en C puis de générer du VHDL pour la synthèse.

Le pire du pire. Surtout n'achetez plus Garmin !

Introduction aux tests formels

Top film de sf du XXIème siècle

Heu non sebsauvage. Même si cette loi était inadmissible on est bien d'accord : il n'était pas légal pour un homme de tuer sa femme si elle le trompe.
L'homme était bien condamné ... mais avec une circonstance atténuante.
Le commentaire dessous est assez clair « On parle bien ici de circonstance atténuante et non de relaxe automatique. Les juges considéraient donc que le mari cocu avait commis un crime en ayant un jugement altéré par la passion. La peine était donc réduite mais pas forcément nulle. D'ailleurs, le "crime passionnel" n'existe pas en droit. Il s'agit d'une expression qui désigne le crime commis lors du flagrant délit d'adultère mais ce n'est pas une notion significative juridique. »

Une intro au K210

Documentation micropython

Quelques vidéos de ce que peut faire le MaixPy.

Un simulateur de DRAM en SystemC/TLM. Maintenant opensource

Toute l'introduction pour apprendre à faire de la vérification formelle avec yosys.