Listing struktury
Wyjaśnienia skrótów:
- I1, I2
wejście 1, wejście 2 (ang. input)
- KL, KP
koniec lewy, koniec prawy
- CWB
coś w bramie
- O1, O2
wyjście 1, wyjście 2 (ang. output)

module brama
title 'Uklad zdalnego sterowania brama wjazdowa do posesji'

brama device 'p22v10'; ęokreślenie układu dla którego opisywana jest
struktura
I1, I2 pin 6, 7; ęwejścia I1, I2 zostają przypisane do nóżek 6 i 7
!KL, !KP pin 10, 9;
!CWB pin 11;
O1, O2 pin 20, 21 istype 'com';
Q3, Q2, Q1,Q0 pin 16, 17, 18, 19 istype 'reg'; ęwyjścia typu rejestr
OEn pin 13;
Clk pin 1;
Ck, Z, X, P = .C., .Z., .X., .P.;

" stan = [Q3,Q2,Q1,Q0]
S0 = ^b0000; ęnadanie kolejnym stanom unikalnych
S1 = ^b0110; ęniepowtarzalnych kodów w postaci
S2 = ^b0101; ębinarnej.
S3 = ^b1010;
S4 = ^b0001;
S5 = ^b1100;
S6 = ^b1000;
S7 = ^b0100;
S8 = ^b0010;


equations
[Q3, Q2, Q1, Q0].c = Clk; ęstany S0-S8 zmieniają się pod wpływem sygnału zegarowego
[Q3, Q2, Q1, Q0].oe = !OEn; ęstany S0-S8 są bramkowane sygnałem Output Enable


state_diagram [Q3, Q2, Q1, Q0]
state S0: O1=0; O2=0; ędefinicja stanów logicznych na wyjściu
if KL then S1 ęjeżeli sygnał KL jest równy 1 to przechodzi do stanu S1
else if KP then S6 ęjeżeli sygnał KP jest równy 1 to przechodzi do stanu S6
else if I1 then S4
else goto S0; ęw innych przypadkach krąży w rytmie taktów zegarowych w
stanie S0
state S1: O1=0; O2=0;
if (KL & !I1) then S1 ęjeżeli sygnał KL=1 i I1=0 to układ pozostaje w stanie S1
else if (I1 & KL) then S2;
state S2: O1=0; O2=1;
if KP then S6
else if CWB then S7
else if I2 then S8
else if (I1 & !I2 & !CWB & !KP) then S2
else if !I1 then S3;
state S3: O1=0; O2=1;
if (!I1 & !CWB & !KP & !I2) then S3
else if CWB then S7
else if KP then S6
else if I2 then S8
else if I1 then S4;
state S4: O1=1; O2=0;
if KL then S1
else if (I1 & !I2 & !KL) then S4
else if I2 then S8
else if !I1 then S5;
state S5: O1=1; O2=0;
if (!I1 & !I2 & !KL) then S5
else if I2 then S8
else if I1 then S2
else if KL then S1;
state S6: O1=0; O2=0;
if (KP & !I1) then S6
else if (I1 & KP) then S4;
state S7: O1=1; O2=0;
if CWB then S7
else if !CWB then S1;
state S8: O1=0; O2=0;
if I2 then S8
else if !I2 then S4
else if CWB then S7;

test_vectors ęwektory symulujące działanie wybranego
ęfragmentu grafu przejść.
([Clk, OEn, KP, KL, CWB, I1, I2, [Q3,Q2,Q1,Q0]] -> [Q3,Q2,Q1,Q0])
[P, 1, 0, 0, 0, 0, 0, S0 ] -> X;
[Ck, 0, X, X, 0, X, X, X ] -> S0;
[Ck, 0, 1, 0, 0, X, X, S0 ] -> S6;
[Ck, 0, 1, 0, 0, X, X, S6 ] -> S6;
[Ck, 0, 1, 0, 0, 1, 0, S6 ] -> S4;
[Ck, 0, 0, 1, 0, 1, 0, S4 ] -> S1;
[Ck, 0, 0, 1, 0, 0, 0, S1 ] -> S1;
[Ck, 0, 0, 1, 0, 1, 0, S1 ] -> S2;
[Ck, 0, 0, 0, 0, 0, 0, S2 ] -> S3;
[Ck, 0, 0, 0, 1, 0, 0, S3 ] -> S7;
[Ck, 0, 0, 0, 1, 0, 0, S7 ] -> S7;


end brama