OpenCores
URL https://opencores.org/ocsvn/t6507lp/t6507lp/trunk

Subversion Repositories t6507lp

[/] [t6507lp/] [trunk/] [fv/] [alu_input.e] - Diff between revs 132 and 143

Go to most recent revision | Show entire file | Details | Blame | View Log

Rev 132 Rev 143
Line 1... Line 1...
alu_input.e
alu_input.e
<'
<'
import alu_components.e;
import alu_components.e;
type alu_input_t: [ENABLED_VALID, DISABLED_VALID];
type alu_input_t: [ENABLED_VALID, DISABLED_VALID, RESET];
 
 
struct alu_input_s {
struct alu_input_s {
        input_kind : alu_input_t;
        input_kind : alu_input_t;
 
 
        reset_n: bool;
        reset_n: bool;
        alu_enable: bool;
        alu_enable: bool;
        alu_opcode: valid_opcodes;
        alu_opcode: valid_opcodes;
        alu_a: byte;
        alu_a: byte;
 
 
        keep soft input_kind == select {
        keep soft input_kind == select {
                50: ENABLED_VALID;
                45: ENABLED_VALID;
                50: DISABLED_VALID;
                45: DISABLED_VALID;
 
                10: RESET;
        };
        };
 
 
        when ENABLED_VALID'input_kind alu_input_s {
        when ENABLED_VALID'input_kind alu_input_s {
                keep reset_n == TRUE; // remember this is active low
                keep reset_n == TRUE; // remember this is active low
                keep alu_enable == TRUE;
                keep alu_enable == TRUE;
                //keep alu_opcode in [0..255];
 
                keep alu_a in [0..255];
                keep alu_a in [0..255];
        };
        };
 
 
        when DISABLED_VALID'input_kind alu_input_s {
        when DISABLED_VALID'input_kind alu_input_s {
                keep reset_n == TRUE; // remember this is active low
                keep reset_n == TRUE; // remember this is active low
                keep alu_enable == FALSE;
                keep alu_enable == FALSE;
                //keep alu_opcode in [0..255];
 
                keep alu_a in [0..255];
                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;
        event T1_cover_event;
        cover T1_cover_event is {
        cover T1_cover_event is {
                item input_kind using no_collect=TRUE;
                item input_kind using no_collect=TRUE;
                item alu_opcode using num_of_buckets=256, radix=HEX, no_collect=TRUE;
                item alu_opcode using num_of_buckets=256, radix=HEX, no_collect=TRUE;
                cross input_kind, alu_opcode;
                cross input_kind, alu_opcode;
                //item alu_a;
                //item alu_a;
        };
        };
 
 
};
 
'>
 
 
 
 
};
 
'>
 
 
 No newline at end of file
 No newline at end of file
 
 
 No newline at end of file
 No newline at end of file

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.