La verification formelle est désormais possible en SpinalHDL \o/
Le tout avec les outils «classiques» opensource gravitant autour de Yosys.

Je découvre la fantastique chaîne de radio FIP et son éclectisme musical SANS PUB !
Plus besoin d'attendre les grèves de France Inter pour profiter de la musique ;)

Langage de description HDL basé sur Kotlin