5 private links
Un parseur SystemVerilog
Un simple BFM avec cocotb
Une implémentation en Verilog du processeur PIO de la Pico Pi.
C'est une implémentation «off» inspiré de la spec officielle, mais visiblement on peut déjà faire de l'uart ou de l'i2s avec.
Racine carrée en Verilog
Verilator est buggé avec CocoTB si vous prenez la dernière version v4.108.
Pour éviter le problème de blocage, visiblement il faut prendre la v4.106
Petit rappel sur les interfaces ready/valid
Le confinement ne fait vraiment pas du bien aux relations humaines.
Pourquoi synthetiser sur des FPGA/ASIC quand on peut le faire pour Minecraft !
Un jeux vidéo maison (fortement) inspiré de SuperMario écrit en C++ et qui se compile sur une console RISC-V en Verilog synthétisable sur la carte ULXS3 (full open-source).
Comment reproduire un bug dans une transmission grâce à la méthode formelle.
Pong en verilog
Introduction aux tests formels
Toute l'introduction pour apprendre à faire de la vérification formelle avec yosys.
un contrôleur USB en verilog en moins de 400LUT.
La bibliothèque de simulation de Xilinx Unisim est désormais publiée en opensource (licence apache) \o/
Virgule fixe en verilog