Monthly Shaarli
August, 2020
4 minutes 40 secondes de vidéo juste pour dire que pour justifier à gauche ou à droite il faut faire un «justify=LEFT» ou «justify=RIGHT»...
Je déteste les tuto vidéo ;)
La doc en images du SERV (processeur RISC-V microscopique).
Comment reproduire un bug dans une transmission grâce à la méthode formelle.
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.
Une bougie chat qui en se consummant révèle son squelette.
Concours pour réaliser une miniferme automatisé sur un mètre carré.
Une illusion d'optique sympathique à faire avec les enfants.
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]
Introduction aux tests formels
Top film de sf du XXIème siècle
Les soviétiques ont mené la plus grosse campagne de lancement vers Venus. Avec de superbe images récupérées (et beaucoup d'échec aussi ;)
Sous le coude: un filtre gtkwave pour afficher les états dans le chronogramme plutôt que leurs codes
Le pire du pire. Surtout n'achetez plus Garmin !