Weekly Shaarli
Week 30 (July 20, 2020)
Documentation micropython
Quelques vidéos de ce que peut faire le MaixPy.
Corescore est un outils permettant d'intégrer des cœurs de processeurs SERV (RISC-V) dans un FPGA.
L'idée du corescore est de faire fonctionner le plus possible de SERV en parallèle.
Ça donne une métrique pour comparer les FPGA.
Par exemple, pour la colorlight on peut mettre 55 cores : https://github.com/olofk/corescore/commit/f8935218df2a2c7190ddfc44beaaa7aa4b140d8c
Un simulateur de DRAM en SystemC/TLM. Maintenant opensource
Toute l'introduction pour apprendre à faire de la vérification formelle avec yosys.