Le FPGA avec Bluetooth et microcontroleur intégré
Les vidéos sont disponibles
Une série de vidéo sur la vérification formelle en Verilog.