Monthly Shaarli
October, 2021
Un «Bounded Model Checker» pour le C et le C++
versions open source (avec les sources verilog) des cores RISCV que sort alibaba !
Une super note de blog sur la carte Tang Nano 4k
Si Nintendo ne leur tombent pas dessus, alors je comprend rien.
Finalement elle est cher ;)
(90€ de frais de port arg !)
$ ffmpeg -i DSCN1728_rot.mov -qscale 0 -vcodec msmpeg4v2 -acodec libmp3lame train_bibliotheque_bis.avi
Article qui semble intéressant sur la simulation en SystemVerilog ... mais c'est du russe !
Ça y est, Valve lance une console de jeux portable pour steam \o/
Bon c'est pas donné à 420€ mais c'est pas mal.
Wow, j'avais complètement oublié que j'avais fait une dépêche sur le même sujet en 2018 ! (yosys): https://linuxfr.org/news/sortie-de-yosys-open-synthesis-suite-0-8
Peut-être devrais-je consulter ...
Dommage que ça soit si cher.
Cocotb 1.6.0 est sortie
Les changements dans kicad 6
On peut désormais faire de la simulation UVM avec Verilator, grace à l'ajout du scheduler dynamic par Antmicro
Très belle vidéo.
Jamais je n'aurais pensé que le déclin de la bagnole serait déclenché par le manque de composants électronique !