RTL記述によります。小規模なら、可能です。内部でトレースモードはDisableされます。Resolve_Scopeという名前のScopeが、TreeViewに表示されます。これは、Veritak内部で使用しているもので、無視してください。トレースモードが安定したら、将来、外します。トレースモードについて他のシミュレータとの違いは、あらかじめ、トレース信号を限定しなくていいことです。その代わり、Veritakは、内部ノードの回路図出力機能等は、もっていませんし、$strobeにいたる途中経過の出力機能(バックトレース)もありません。名前のない信号を追いかけるより名前のある信号をすぐ見れた方が効率的なRTLデバッグができるのではないか、と思います。