こんにちは、機能カバレッジ、特にトランジション カバレッジのコードをデバッグしているときに、奇妙なエラー メッセージが表示されます。最初のレベル ピン、つまり level1 のカバレッジを実行しているときに、fifo1 と fifo2 の 2 つのレベル ピンがそれぞれありますが、コードは正常に解析されますが、level2 ピンの場合は次のようなエラーがスローされます。
***Error:Syntax error(probably an infinite recursion in macro expansion)
コードをロードする前に、を実行してくださいtrace macro。これにより、展開されているマクロが表示されます。詳細については、ドキュメントをご覧ください。
また、単純なプロトタイピングコードを記述しているだけでない限り、'tick notation'シグナルにアクセスするのは非常に時間がかかります。これは古い方法です。ケイデンスの推奨事項は、の代わりにポートを使用することです'tick access'。Specmanのバージョン6.01で切り替えを行ったときに、ティックの代わりにポートを使用することで、テストの実行を約3〜10倍高速化しました（正確には思い出せません）。