{{{
#!html
Spécification fonctionnelle du circuit addaccu
}}}
= Interface =
Le circuits possède 4 entrées :
* '''CK'''
* '''a[3-0]'''
* '''b[3-0]'''
* '''sel'''
Il possède une seule sortie :
* '''s[3-0]'''
= Registres internes =
Le circuit contient un registre accumulateur '''accu[3-0],
dont l'écriture est contrôlée par le front montant du signal d'horloge '''CK'''.
= Comportement =
Si (sel == 0) '''x''' <= '''a''' + '''b'''
Sinon '''x''' <= '''accu''' + '''b'''
'''s''' <= '''x'''
Quand ('''ck''' passe de 0 à 1) '''accu''' <= '''x'''