Changes between Version 25 and Version 26 of ToolsCourseTp5


Ignore:
Timestamp:
Sep 20, 2007, 1:55:59 PM (17 years ago)
Author:
anne
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ToolsCourseTp5

    v25 v26  
    121121=== 1.5 PROOF ===
    122122Lorsqu'on veut prouver l'équivalence de deux descriptions comportementales de type ''dataflow'' d'un même circuit à n entrées, on peut simuler par '''asimut''' 2n vecteurs pour les deux descriptions et les comparer.
    123 Cette solution devient vite coûteuseen temps CPU et il vaut mieux faire appel à un outil de preuve formelle qui effectue la comparaison ''mathématique'' des deux réseaux booléens.
     123Cette solution devient vite coûteuse en temps CPU et il vaut mieux faire appel à un outil de preuve formelle qui effectue la comparaison ''mathématique'' des deux réseaux booléens.
    124124'''PROOF''' réalise cette opération entre les description file1.vbe et file2.vbe par la commande
    125125{{{