Subversion Repositories t6507lp

<'

import fsm_components.e;

unit fsm_bfm_u {

        reset_n    : out simple_port of bit;

        alu_result : out simple_port of byte;

        alu_status : out simple_port of byte;

        data_in    : out simple_port of byte;

        alu_x      : out simple_port of byte;

        alu_y      : out simple_port of byte;

        reset_needed : bool;

        keep reset_needed == TRUE;

        event done;

        event main_clk;

        mem : list of valid_opcodes;

        keep mem.size() == 8192;

        !i : uint(bits:13);

        keep i == 0;

        on main_clk {

                var data : fsm_input_s;

                var last_X : byte;

                var last_Y : byte;

                gen data;

                --print mem[i];

                --keep data.data_in == mem[i].as_a(byte);

                while (reset_needed) {

                        gen data;

                        if (data.reset_n == 0) {

                                reset_needed = FALSE;

                        };

                };

        --      if (data.test_kind == REGULAR) {

        --              emit data.T1_cover_event;

        --              alu_opcode$ = data.alu_opcode.as_a(byte);

        --      }

        --      else {

        --              emit data.T2_cover_event;

        --              alu_opcode$ = data.rand_op;

        --      };

                reset_n$    = data.reset_n;

                alu_result$ = data.alu_result;

                alu_status$ = data.alu_status;

                --data_in$    = data.data_in;

                data_in$    = mem[i].as_a(byte);

                data.data_in = mem[i].as_a(byte);

                --data_in$    = 8'hF8;

                --print me.agent.chk.old_state;

                --if (me.agent.chk.old_state == CYCLE_1) {

                --      last_X = data.alu_x;

                --      last_Y = data.alu_y;

                --};

                --alu_x$      = last_X;

                --alu_y$      = last_Y;

                alu_x$ = data.alu_x;

                alu_y$ = data.alu_y;

                if (data.reset_n == 1) {

                        i = i + 1;

                }

                else {

                        i = 0;

                };

                agent.chk.store(data);

                emit done;

        };

};

'>