reduce - Python のように Specman でリストを減らす

Question

reduce()一般的なリダクション関数に使用できる Specmanのリスト メソッドはありますか? 私は次のようなことを考えています：

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

どこreduce()で Python のように動作します:

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

Answer 1

Specman 6.1 のドキュメントには、reduce 疑似メソッドが示されていません。あなたの特定の例では、あなたが望むものを達成することができます：

bitmap = pack(packing.low, x)

ドキュメントで「List Pseudo-Methods」を検索すると、お使いのバージョンの Specman で「reduce」疑似メソッドを見つけることができます。

セクション「数学と論理の疑似メソッド」では、メソッド and_all()、average()、or_all()、product()、および sum() を示します。これがメタソリューションではないことはわかっていますが、歯を蹴るよりはましです。