MODULE zar

TITLE 'simulez aruncarea unui zar (nr aleator de la 1 la 6)'

Declarations
!OE ,clk,!control PIN 11,1,2; "definesc tact,oe si pinul de control
declarations
!a,!b,!c,!d,!e,!f,!g pin 19,18,17,16,15,14,13 istype 'reg'; "intrarile in digit
S = [a,b,c,d,e,f,g];
x=.X.;
C=.C.;
Equations
S.CLK=clk;
[a,b,c,d,e,f,g].oe=OE;
a := (a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB & !control
# a.FB & b.FB & !c.FB & d.FB & e.FB & !f.FB & !g.FB & !control
# !a.FB & !c.FB & !d.FB & !e.FB & !f.FB & !g.FB & control
# !a.FB & !b.FB & !c.FB & !d.FB & e.FB & f.FB & !g.FB & control);
b := (!a.FB & !b.FB & !c.FB & !d.FB & e.FB & f.FB & !g.FB & control
# !a.FB & b.FB & !c.FB & !d.FB & !f.FB & !g.FB & !control
# a.FB & b.FB & !c.FB & d.FB & e.FB & !f.FB & !g.FB
# !a.FB & b.FB & !c.FB & !d.FB & e.FB & !f.FB & !g.FB);
c := (!a.FB & !b.FB & c.FB & !d.FB & !e.FB & f.FB & !g.FB & !control
# a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB & control);

d := (a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB & !control
# a.FB & b.FB & !c.FB & d.FB & e.FB & !f.FB & !g.FB & !control
# !a.FB & !c.FB & !d.FB & !e.FB & !f.FB & !g.FB & control
# !a.FB & !b.FB & !c.FB & !d.FB & e.FB & f.FB & !g.FB & control);
e := (a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB & !control
# !a.FB & !b.FB & c.FB & !d.FB & !e.FB & f.FB & !g.FB & control
# a.FB & b.FB & !c.FB & d.FB & e.FB & !f.FB & !g.FB
# !a.FB & !c.FB & !d.FB & !e.FB & !f.FB & !g.FB & control
# !a.FB & b.FB & !c.FB & !d.FB & e.FB & !f.FB & !g.FB & !control

# !a.FB & !b.FB & !c.FB & !d.FB & e.FB & f.FB & !g.FB);

f := (a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB
# !a.FB & !c.FB & !d.FB & !e.FB & !f.FB & !g.FB & control
# !a.FB & !b.FB & c.FB & !d.FB & !e.FB & f.FB & !g.FB
# !a.FB & !b.FB & !c.FB & !d.FB & e.FB & f.FB & !g.FB & !control);
g := (a.FB & !b.FB & !c.FB & d.FB & e.FB & f.FB & g.FB & !control
# !a.FB & !c.FB & !d.FB & !e.FB & !f.FB & !g.FB & control);

TEST_VECTORS
([clk,control]->[a,b,c,d,e,f,g])
@repeat(5)
{
[C,0]->[x,x,x,x,x,x,x];
}
@repeat(5)
{
[C,1]->[x,x,x,x,x,x,x];
}
@repeat(5)
{
[C,0]->[x,x,x,x,x,x,x];
}