Subversion Repositories t6507lp

<'

import fsm_components.e;

unit fsm_agent_u {

        smp: fsm_signal_map_u is instance;

        mon: fsm_mon_u        is instance;

        bfm: fsm_bfm_u        is instance;

        chk: fsm_chk_u        is instance;

        event main_clk;

        keep bfm.agent      == me;

        keep bfm.reset_n    == smp.reset_n;

        keep bfm.alu_result == smp.alu_result;

        keep bfm.alu_status == smp.alu_status;

        keep bfm.data_in    == smp.data_in;

        keep bfm.alu_x      == smp.alu_x;

        keep bfm.alu_y      == smp.alu_y;

        keep mon.agent      == me;

        keep mon.addr       == smp.addr;

        keep mon.mem_rw     == smp.mem_rw;

        keep mon.data_out   == smp.data_out;

        keep mon.alu_opcode == smp.alu_opcode;

        keep mon.alu_a      == smp.alu_a;

        keep mon.alu_enable == smp.alu_enable;

        run() is also {

        };

};

extend fsm_bfm_u {

        agent: fsm_agent_u;

        event main_clk is only @agent.main_clk;

};

extend fsm_mon_u {

        agent: fsm_agent_u;

        event main_clk is only @agent.bfm.done;

};

'>