SAIF を記録するには、次のコマンドを使用します。
- スコープ内のすべての信号:
/tb: log_saif /tb/* - スコープ内のすべてのポート:
/tb/UUT -
a で開始して b で終了し、その間に数字が含まれる名前のオブジェクト:
log_saif [get_objects -regexp {^a[0-9]+b$}] -
current_scopeおよびchildren_scopeのオブジェクト:log_saif [get_objects -r *] -
current_scopeのオブジェクト:log_saif * or log_saif [get_objects] - スコープ
/tb/UUTのポートのみ:id="ah453025">log_saif [get_objects -filter {type == in_port || type == out_port || type == inout_port || type == port } /tb/UUT/* ] - スコープ
scope /tb/UUTの内部信号のみ:log_saif [get_objects -filter { type == signal } /tb/UUT/* ]ヒント: HDL オブジェクトを必要とする Tcl コマンドすべてに、このフィルター機能を使用できます。