specman

1熱

1答えて

Specman e：シーケンスがそのBFMを駆動し、そのMAINがテストで定義されていない

私はUART検証環境を構築しています。 DUT UARTのRxにフレームを駆動するためvr_ad_sequence - - uart_sequence 両方の配列、それらのドライバとのBFMは正常に動作DUTのUARTの設定を駆動するため：私は2 sequencesesを持っています。しかし、構成シーケンスのみを使用する簡単なテストを作成した場合、DUT UART Rxは検証環境によって駆動

0熱

1答えて

e HVL（IEEE 1647）： 'X'値の設定方法は？

私の検証環境でいくつかの変数を 'X'値に初期化したいと思います。 eに「X」の値を設定するにはどうすればよいですか？はあなたがMVL（複数値ロジック）機能を使用して0と1以外の値を設定することができ、あなたの助け

0熱

1答えて

dut_error（）メソッドを拡張できますか？

エラーが報告されたパッケージの名前を書き込むためにdur_error（）メソッドを拡張したいと思います。

0熱

2答えて

スペルマンの空文字列に演算子をキャスト

私はSpecman EでいくつかのRTLチェッカーを開発しており、型変換を使ってコマンドライン引数を処理しています。次のようにコードは if(get_symbol("SWITCH").as_a(uint) > 10) { do something; }; コマンドラインオプションのSWITCH = 10を有しています。問題は、エラーのあるスイッチがない場合にテストが失敗するこ

0熱

1答えて

e HVL（IEEE 1647）：expect式が予期せず失敗する

2つのモジュール間でかなり単純なハンドシェイクを検証しようとしています。 1つのモジュールが低速クロックにあり、 "req"を発生させると、高速モジュールは次の高速クロックで "ack"を発生し、次の遅いクロックがポーズするまでそのモジュールを保持する必要があります。最終結果は、次のようになります。 expect expect_ack_when_req_go is (@req_rise

1熱

1答えて

.sublime-syntax複数行の関数の検出

私は.sublime-syntax for the Specman languageを書いています。複数の行のメソッド宣言が必要です。メソッドは、メソッド宣言の他の部分のほとんどの後に続くキーワードisを使用して宣言されています。など。 fwd_init() @driver.clock is { または add(x : uint, y : uint) is also { または pri

0熱

1答えて

Specman電子 - 時限式

私はSpecmanを初めて使い、特定のクロックの16サイクルごとにトリガする必要があるイベントに対して時間表現を使用しようとします。私は event f_clk is 6*clkを次の操作を行いますができますか？どうすればいいですか？

1熱

2答えて

Specmanに「parallel all of」がありますか？

のは私がエージェントのリストを持っている。このユニット unit agent { init_all_regs() @clock is {…}; }; を持っていると仮定しましょう、エージェントの数が異なります。私はすべてのエージェントがinit_all_regs（）メソッドを呼び出して、すべてが並列に実行されるようにしたい。 "all"と "for each"の構文の組み合わせはあ