Reduza a lista em Specman como no Python

Question

Tem alguma reduce() Método de lista em Specman que posso usar para funções gerais de redução? Estou pensando em algo como:

var x: list of bit = some_function_that_returns_list_of_bit;
var bitmap: uint = x.reduce(foo());

Onde reduce() Funciona como em Python:

foo(last: uint, val: bit) is: uint {
    return (last << 1 ) | bit;
};

Answer 1

Os documentos do Specman 6.1 não mostram um pseudo-método de redução. Para o seu específico Por exemplo, você pode alcançar o que deseja:

bitmap = pack(packing.low, x)

Você pode encontrar o método PSUDODO "Reduce" em sua versão do Specman, pesquisando "Pseudo-métodos da lista" em seus documentos.

Seção "Pseudo-métodos de matemática e lógica" mostra métodos e_all (), média (), ou_all (), produto () e sum (). Eu sei que essa não é a meta-solução, mas é melhor do que um chute nos dentes.