Subversion Repositories t6507lp

alu_input.e

<'

import alu_components.e;

type alu_input_t: [ENABLED_VALID, DISABLED_VALID, RESET];

struct alu_input_s {

        input_kind : alu_input_t;

        reset_n: bool;

        alu_enable: bool;

        alu_opcode: valid_opcodes;

        alu_a: byte;

        keep soft input_kind == select {

                45: ENABLED_VALID;

                45: DISABLED_VALID;

                10: RESET;

        };

        when ENABLED_VALID'input_kind alu_input_s {

                keep reset_n == TRUE; // remember this is active low

                keep alu_enable == TRUE;

                keep alu_a in [0..255];

        };

        when DISABLED_VALID'input_kind alu_input_s {

                keep reset_n == TRUE; // remember this is active low

                keep alu_enable == FALSE;

                keep alu_a in [0..255];

        };

        when RESET'input_kind alu_input_s {

                keep reset_n == FALSE; // remember this is active low

                //keep alu_enable in [FALSE, TRUE];

                keep alu_a in [0..255];

                //keep alu_opcode in [0..255];

        };

        event T1_cover_event;

        cover T1_cover_event is {

                item input_kind using no_collect=TRUE;

                item alu_opcode using num_of_buckets=256, radix=HEX, no_collect=TRUE;

                cross input_kind, alu_opcode;

                //item alu_a;

        };

};

'>