問題タブ [specman]

E (specman) で、リストである変数を宣言し、それらの長さを修正したいと考えています。

構造体のメンバーに対して行うのは簡単です:

一方、関数内の「通常の」変数の場合、上記は機能せず、次のようなことをしなければなりません:

固定サイズのリストを宣言するより良い方法はありますか?

制約のあるランダム トラフィックを生成するために一連のセットを使用していますが、次のような構文でセットの補数を計算する Specman マクロを呼び出せるようにしたいと考えています。

そしてそれを生成させます：

セットの補数が必要になるたびに、Specman の組み込み int_range_list オブジェクトを使用する代わりに、完全に入力されたリスト (たとえば {0;1;2;3....} ) を使用して要素を削除しています。また、コンパイル時ではなく実行時に、これらのセット計算の多くを行っています。

Specman テストでログ ファイルのファイル名の語幹を指定できるようにしたいと考えています。メインの *.elog ファイル名をハードコードする必要があるため、テスト間で差異が生じたり、後処理スクリプトが混乱したりしません。Specman に渡すことができる制約またはコマンド ラインはありますか?

同じ制約セットを使用して、同じ関数で数回生成したい変数があります。制約を 1 回だけ設定して、genそれを何度も設定できますか? つまり、これの代わりに:

私はこれをしたい：

aそうすれば、 s の制約を変更したい場合でも、一度だけ行う必要があります。

Specman では、ユニットへの参照が参照の定義に do-not-generate 修飾子「!」を持っているかどうかをどのように判断できますか?

例えば

コードを検査したり、命名規則に依存したりせずに、foo_ptr_generatedSpecman の制約ソルバーを通過し、foo_ptr_notgenerated手続き的に設定されたことをどのように確認できますか?

Specman の uint に設定されたビット数をカウントしたい:

これを行う最善の方法は何ですか？

specman の更新された構文ファイルはどこにありますか? ウェブ上にはこれらのものがいくつかありますが、推奨事項があるものが欲しいです。

Specmanのメソッド呼び出しから配列を返すにはどうすればよいですか？例えば

私のプリントアウトは、いくつかの要素が配列データやdata_sysとは異なることを示しています。私が逃したことを教えてもらえますか？

継承したspecmanに次のコードがあります。

私の理解では、毎回some_method()呼び出され、新しく生成され、割り当てられる前にの値aをチェックする意味がありません。aしかし、ここで何かが足りないのかもしれません。たとえば、a静的な場合、このコードは理にかなっています。これは私の質問につながります。

specmanで変数を静的にする方法はありますか？

私が文字列を持っていると仮定します：

それをリストに分割したい

文字列に含まれるアイテムの数が事前にわからないと仮定して、どうすれば最善を尽くすことができますか？

基本的に私はPerlと同等のスペックマンを探しています：