MODULE pertec

TITLE 'pertec'

DECLARATIONS
    a,b,c,d,e,f,g PIN ISTYPE 'com';
    Q0,Q1,Q2,Q3 PIN ISTYPE 'reg';
    Q = [Q3,Q2,Q1,Q0];
    clk pin;
    clr pin;

EQUATIONS
    Q.clk = clk;
    Q.clr = clr;
    Q := (Q + 1) & !(Q == 9);
    Q := (Q - 9) &  (Q == 9);
    a = (Q == 2) # (Q == 3) # (Q == 5) # (Q == 6) # (Q == 7) # (Q == 8) # (Q == 9);
    b = (Q == 1) # (Q == 2) # (Q == 3) # (Q == 4) # (Q == 7) # (Q == 8) # (Q == 9);
    c = (Q == 1) # (Q == 3) # (Q == 4) # (Q == 5) # (Q == 6) # (Q == 7) # (Q == 8) # (Q == 9);
    d = (Q == 2) # (Q == 3) # (Q == 5) # (Q == 6) # (Q == 8) # (Q == 9);
    e = (Q == 2) # (Q == 6) # (Q == 8);
    f = (Q == 4) # (Q == 5) # (Q == 6) # (Q == 8) # (Q == 9);
    g = (Q == 2) # (Q == 3) # (Q == 4) # (Q == 5) #(Q == 6) # (Q == 8) # (Q == 9);
END





MODULE translator

TITLE 'translator'

DECLARATIONS
   EN PIN;
   I0, I1, I2 PIN ISTYPE 'com';
   O0, O1, O2, O3, O4, O5, O6, O7  PIN ISTYPE 'com';

TRUTH_TABLE
   ([EN,I0,I1,I2] -> [O0, O1, O2, O3, O4, O5, O6, O7])
    [ 1, 0, 0, 0] -> [ 0,  1,  1,  1,  1,  1,  1,  1];
    [ 1, 0, 0, 1] -> [ 1,  0,  1,  1,  1,  1,  1,  1];
    [ 1, 0, 1, 0] -> [ 1,  1,  0,  1,  1,  1,  1,  1];
    [ 1, 0, 1, 1] -> [ 1,  1,  1,  0,  1,  1,  1,  1];
    [ 1, 1, 0, 0] -> [ 1,  1,  1,  1,  0,  1,  1,  1];
    [ 1, 1, 0, 1] -> [ 1,  1,  1,  1,  1,  0,  1,  1];
    [ 1, 1, 1, 0] -> [ 1,  1,  1,  1,  1,  1,  0,  1];
    [ 1, 1, 1, 1] -> [ 1,  1,  1,  1,  1,  1,  1,  0];
    [ 0,.X.,.X.,.X.] -> [ 1,  1,  1,  1,  1,  1,  1,  1];

END translator;