Jednobitová sčítačka:
Naprogramujte jednobitovou sčítačku s vstupním a výstupním přenosem.
Postup řešení:
Vstupní proměnné označíme A a B, vstupní přenos IC, výstup S a výstupní přenos OC. Rovnice jsem dostal po úpravě z pravdivostní tabulky.
Řešení:
MODULE scitacka
A,B,IC pin;
OC,S pin istype 'com';
VST=[IC,A,B];
equations
OC = IC&(A # B) # A&B;
S = IC $ A $ B;
test_vectors
([VST]->[OC,S])
[0]->[0,0];
[1]->[0,1];
[2]->[0,1];
[3]->[1,0];
[4]->[0,1];
[5]->[1,0];
[6]->[1,0];
[7]->[1,1];
END