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]
L'écriture est contrôlée par le front montant du signal d'horloge CK.

Comportement (syntaxe libre)

Si (sel == 0) x <= a + b
Sinon x <= accu + b

s <= x

Quand (ck passe de 0 à 1) accu <= x