«Application note» sur la méthode formelle par YosysHQ
La présentation a été compliquée, mais elle sera sans doute en ligne prochainement. Pour avoir les diapo c'est par là.
Cette année le SSTIC est gratuit et en ligne. Pas besoin de subir le crachin breton ;)
sympa