URL
https://opencores.org/ocsvn/t6507lp/t6507lp/trunk
[/] [t6507lp/] [trunk/] [fv/] [alu_input.e] - Diff between revs 182 and 185
Go to most recent revision |
Show entire file |
Details |
Blame |
View Log
| Rev 182 |
Rev 185 |
| Line 10... |
Line 10... |
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 test_kind == RAND;
|
// keep test_kind == RAND;
|
|
|
when REGULAR'test_kind alu_input_s {
|
when REGULAR'test_kind alu_input_s {
|
keep soft input_kind == select {
|
keep soft input_kind == select {
|
45: ENABLED_VALID;
|
45: ENABLED_VALID;
|
45: DISABLED_VALID;
|
45: DISABLED_VALID;
|
| Line 44... |
Line 44... |
//keep alu_opcode 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, ignore = (input_kind == ENABLED_RAND || input_kind == DISABLED_RAND);
|
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;
|
};
|
};
|
};
|
};
|
| Line 72... |
Line 72... |
keep rand_op in [0..255];
|
keep rand_op in [0..255];
|
};
|
};
|
|
|
when DISABLED_RAND'input_kind alu_input_s {
|
when DISABLED_RAND'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 == FALSE;
|
keep alu_a in [0..255];
|
keep alu_a in [0..255];
|
keep rand_op in [0..255];
|
keep rand_op in [0..255];
|
};
|
};
|
|
|
event T2_cover_event;
|
event T2_cover_event;
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.