Spécificationvérification, optimisation Previous: Une méthodologie pour

SPECIFICATION DES ALGORITHMES

• MODELES D'ALGORITHMES
• LANGAGES CLASSIQUES DE SPECIFICATION
• LANGAGES SYNCHRONES
• PRESENTATION DE SIGNAL
• Les processus élémentaires ne modifiant pas les horloges
• Les processus élémentaires modifiant les horloges
• Directive de compilation
• SIGNAL GRAPHIQUE
• Equations récurrentes d'un filtre adaptatif
• Processus textuel SIGNAL : ADAPTE
• Egaliseur double d'echantillonnage