Faisant le constat que l’accès aux techniques d’analyse formelle statique de code reste délicat, et encore réservé à de petits groupes de développeurs très au fait de ces technologies, alors que l’apport de ces approches est jugé majeur pour la vérification d’un code RTL, la jeune société allemande OneSpin Solutions(*) a décidé de rendre graduelle…