問題タブ [e]

構造体のリストを作成し、特定の条件を満たす各構造体のフィールドの値を合計するのが好きです。例えば：

私が次のように書くとき：

結果変数を定義すると:

制約を次のように変更します: keep l.all(it.cond).sum(it.val) == sum_val;

矛盾してる！

どうすれば機能しますか？

eに静的フィールド/メソッドがないという技術的な理由はありますか?

LRM を調べましたが、このようなことは何も言及されていません。回避策があります (このようなもの: http://www.specman-verification.com/index.php?entry=entry060612-105347 ) が、適切にカプセル化されていないため、特にクリーンなアプローチではないと思います。

e ファイルでは、次のように言うことは完全に合法です。

しかし同時に、次のことは機能しません。

パーサーは、VAL2 が変数名であると想定し、定数として解釈しません。

同時に、これは許可されています：

この場合、VAL2 は定数として解釈されます。

print の (簡略化された) 構文はprint <exp>. 列挙型リテラルは式ではありませんか?

specman には lex_lt(s1,s2) メソッドのようなものがありますか? (つまり、辞書順で文字列を比較します)。そうでない場合、同じことを達成するための推奨される方法はありますか?

Specman には、列挙型変数の最初、最後、および次の値を取得する組み込みメソッドはありますか? 例えば：

vr_adeのパッケージを使用しています。私の質問は: レジスタを変更するための次の 2 つのマクロの違いは何ですか (fooレジスタが 2 つのフィールドで構成されているとします:field1とfield2):

1)

2)

どんな助けにも本当に感謝します

my_reg_file関数で変数を定義しますpost_access()(この関数は、vr_ad副作用を実装するためのフックです)。

次に、この関数を別の e ファイルで拡張します。

コンパイル エラーが発生します。

post_access()が変数を認識しないのはなぜmy_reg_fileですか? ご協力ありがとうございました。

注: file1.e は file2.e の前にインポートされます

私の検証環境では、同じフィールドを持つ 3 つの異なるレジスタがload_0ありload_1ますload_2。これで、レジスタごとに同じ関数が 3 回複製され、1 行だけが異なります。

同じ関数を 3 回複製するよりも、変数名 (インデックスのみが異なる) にアクセスするより良い方法はありますか? このようなもの：

あなたが提供できるどんな助けにも感謝します。