specman - specmanでexpectステートメントをチェックするコードを試しています

Question

以下は、イベント a、b 宣言のエラーを「認識されない構造体メンバー」として返します。理解を助けてください。

unit true_match_op {
  event a, b;

  my_task() @sys.any is {
  emit a;
  wait [2]*cycle;
  emit b;
  wait [5]*cycle;
  emit a;
  expect @b => {@a ; ~[..]};
};
run() is also {
start my_task();
stop_run();
};
};

extend sys {
  my_unit : true_match_op is instance;
};

Answer 1

まず、eventイベントごとに異なる宣言を追加する必要があります (これは C/C++ ではありません)。また、 anexpectは宣言型の構造です。メソッドの外で宣言する必要があります。

unit true_match_op {
  event a;
  event b;

  my_task() @sys.any is {
  emit a;
  wait [2]*cycle;
  emit b;
  wait [5]*cycle;
  emit a;
  };

  expect @b => {@a ; ~[..]};
};