| 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
|
