問題タブ [specman]

trySpecman でキーワードが何に使用されているか、特に以下のコード スニペットでの使用法を知りたいです。

一時的な表現に関するスライドを見ていくと、次のステートメントに出くわしました。

ここの意味は何ですかeventually。具体的には、eventuallyここを使わなかった場合の違いは？

こんにちは、機能カバレッジ、特にトランジション カバレッジのコードをデバッグしているときに、奇妙なエラー メッセージが表示されます。最初のレベル ピン、つまり level1 のカバレッジを実行しているときに、fifo1 と fifo2 の 2 つのレベル ピンがそれぞれありますが、コードは正常に解析されますが、level2 ピンの場合は次のようなエラーがスローされます。

スペックマン/Eプログラミング言語のクラス図（UMLスタイル）を生成できるツールを探しています。

Webで検索しましたが、見つかりませんでした。

とにかくこの問題について何らかの洞察がありますか？

ありがとう

ポインタと構造体のインスタンスの違いは何ですか。構造体でインスタンスとポインタをどのようにインスタンス化しますか? ポインターをどのように接続しますか?

誰でも例を挙げて説明できますか?

どのシナリオで、通常 PUSH_MODE を使用しますか? 通常は PULL_MODE の相互作用が推奨されますが、どのシナリオまたは条件で PUSH モードを使用する必要があるか知りたいですか?

ありがとう、

eの次の例を考えてみましょう。

内部の引数min()は、結果式のタイプに自動キャストされます。

私の質問は次のとおりです。

1. min()タイプオートキャスティングを使用する他のプログラミング言語はありますか？それらは関数をとのようにどのように扱いますmax()か？
2. この動作は論理的ですか？つまり、この定義は、次の可能なminの定義と一致していません。
   a < b ? a : b

ありがとう

修正できないように見える2つの問題があります。

1) 何らかの理由で、既定の言語が specman-E で、ファイルが適切な言語に設定されているにもかかわらず、Komodo は .e ファイル内のメソッドを強調表示しません。どうすれば彼にそれを強調してもらうことができますか?

2) Enter キーを押した後、関数または "if" ステートメント内にある場合、komodo は適切にインデントしません。例： Enterをクリックしたときのkomodoの動作：

Enterをクリックするとどうなりますか：

どんな助けでも大歓迎です。

specmanでgenを使用して「randc」の種類の実装を生成するにはどうすればよいですか?
例：

リストのすべての要素が（0 -7）の間のランダムな番号を持つように生成したいと考えています。

Specman シミュレーション中に、テスト環境に関するデータ (構造体や変数など) をダンプしたいと考えています。そのようなオプションが vcs の実行 (VPD ファイルの作成) に存在することは知っていますが、specman で同様のオプションを見つけることができません。助けていただけますか？