{{{
#!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'''