Question vérification, dans le domaine du hardware (vhdl), il existe des tas d'outils "d'equivalence checking".
En gros, ses outils vérifient formellement que 2 descriptions hardware sont équivalentes, bien que complètement différentes (VHDL haut niveau vs description de porte).
Est-ce qu'il existe des langages ou des outils qui font cela sur des langages répandus ?
[^] # Re: Perl6
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 4.
Question vérification, dans le domaine du hardware (vhdl), il existe des tas d'outils "d'equivalence checking".
En gros, ses outils vérifient formellement que 2 descriptions hardware sont équivalentes, bien que complètement différentes (VHDL haut niveau vs description de porte).
Est-ce qu'il existe des langages ou des outils qui font cela sur des langages répandus ?
"La première sécurité est la liberté"