Scribd Logo
Upload

Welcome to Scribd!

  • Thangmay Abl

    Uploaded by

    Lê Bửu Nam Trân
    5 views2 pages
    This document defines a state machine with 16 states (S0 through S15) that controls a device. The state machine has two 4-bit inputs (input1 and input2) and two 4-bit outputs (output1 and output2). It describes the pin connections, variable definitions, current state, and next state transitions for each state based on the values of input1. It also provides example test vectors showing the expected values of output2 for different input combinations.

    Original Description:

    Original Title

    thangmay_abl

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document defines a state machine with 16 states (S0 through S15) that controls a device. The state machine has two 4-bit inputs (input1 and input2) and two 4-bit outputs (output1 and output2). It describes the pin connections, variable definitions, current state, and next state transitions for each state based on the values of input1. It also provides example test vectors showing the expected values of output2 for different input combinations.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    5 views2 pages

    Thangmay Abl

    Uploaded by

    Lê Bửu Nam Trân
    This document defines a state machine with 16 states (S0 through S15) that controls a device. The state machine has two 4-bit inputs (input1 and input2) and two 4-bit outputs (output1 and output2). It describes the pin connections, variable definitions, current state, and next state transitions for each state based on the values of input1. It also provides example test vectors showing the expected values of output2 for different input combinations.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 2

    File: /tmp/.fr-sQcGuC/thangmay.

    abl
    module thangmay flag '-r3'
    title'DIEU KHIEN THANG MAY'
    "cac khai bao
    U432 device'P16V8R';
    CK,X1,X0 pin 1,2,3;"input1
    Q3,Q2,Q1,Q0 pin 4,5,6,7;"input2
    Z3,Z2,Z1,Z0 pin 15,14,13,12;"output1
    D3,D2,D1,D0 pin 19,18,17,16;"output2
    D3,D2,D1,D0 istype'reg';
    !OE pin 11;
    count=[Q3,Q2,Q1,Q0];
    input1=[X1,X0];
    output1=[Z3,Z2,Z1,Z0];
    output2=[D3,D2,D1,D0,Z3,Z2,Z1,Z0];
    C,L,H,X=.C.,0,1,.X.;
    S0=0;S1=1;S2=2;S3=3;S4=4;S5=5;S6=6;S7=7;S8=8;S9=9;
    S10=10;S11=11;S12=12;S13=13;S14=14;S15=15;
    state_diagram[D3,D2,D1,D0]
    state S0:output1=^b0001;
    case
    input1==^b00:S0;
    input1==^b01:S1;
    input1==^b10:S4;
    input1==^b11:S5;
    endcase;
    state S1:output1=^b0010;
    case
    input1==^b00:S0;
    input1==^b01:S1;
    input1==^b10:S2;
    input1==^b11:S8;
    endcase;
    state S2:output1=^b0100;
    case
    input1==^b00:S7;
    input1==^b01:S1;
    input1==^b10:S2;
    input1==^b11:S3;
    endcase;
    state S3:output1=^b1000;
    case
    input1==^b00:S10;
    input1==^b01:S9;
    input1==^b10:S2;
    input1==^b11:S3;
    endcase;
    state S4: output1=^b0010;
    goto S2;
    state S5: output1=^b0010;
    goto S6;
    state S6: output1=^b0100;
    goto S3;
    state S7: output1=^b0010;
    goto S0;
    state S8: output1=^b0100;
    goto S3;
    state S9: output1=^b0100;
    goto S1;
    state S10: output1=^b0100;
    goto S11;
    state S11: output1=^b0010;
    goto S0;
    state S12: goto S0;
    state S13: goto S0;
    state S14: goto S0;
    state S15: goto S0;
    test_vectors([CK,X1,X0,Q3,Q2,Q1,Q0]->output2)
    [C,0,0,0,0,0,0] -> [X,X,X,X,0,0,0,1];
    [C,0,0,0,0,0,1] -> [X,X,X,X,0,0,0,1];
    [C,0,0,0,0,1,0] -> [X,X,X,X,0,0,0,1];
    [C,0,0,0,0,1,1] -> [X,X,X,X,0,0,0,1];

    Page 1 of 2

    File: /tmp/.fr-sQcGuC/thangmay.abl
    [C,0,0,0,1,0,0] -> [X,X,X,X,0,0,0,1];
    end thangmay

    Page 2 of 2

    You might also like