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