{{{
#!html
<h1> Spécification fonctionnelle du circuit addaccu </h1>
}}}

= 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