My<cod/>.net
Как объявить список фиксированной длины в specman?
В E (specman) я хочу объявить переменные, которые являются списками, и я хочу исправить их длины.
Это легко сделать для члена структуры:
thread[2] : list of thread_t;
в то время как для переменной "regular" в функции вышеизложенное не работает, и я должен сделать что-то вроде:
var warned : list of bool;
gen warned keeping {
it.size() == 5;
};
Есть ли лучший способ объявить список фиксированного размера?
Жесткий диск, как у вас, будет только фиксировать размер при инициализации, но элементы все равно могут быть добавлены или удалены позже, вы пытаетесь защититься от этого условия? Единственный способ, который я могу придумать, чтобы гарантировать, что элементы не будут добавлены или удалены позже, - это испускать событие, синхронизированное по размеру != заранее определенная сумма:
event list_size_changed is true (wanted.size() != 5) @clk;
Единственное, что я могу предложить, это немного синтаксического сахара для жесткого удержания:
var warned : list of bool;
keep warned.size() == 5;