Weekly Shaarli

All links of one week in a single page.

Week 30 (July 20, 2020)

What can MaixPy do? · MaixPy DOC

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

Corescore : qui a la plus grosse ?

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

DRAMSys

Un simulateur de DRAM en SystemC/TLM. Maintenant opensource

Getting started with Formal Verification - YouTube

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