User guide

15-4
SAIF Support
$read_lib_saif
Allows you to read in a SDPD library forward SAIF file. It registers
the state and path dependent information on the scope. It also
monitors the internal nets of the design.
Syntax:
$read_lib_saif(<inputFile>);
$read_rtl_saif
Allows you to read in an RTL forward SAIF file. It registers
synthesis invariant elements by reading forward SAIF file. By
default, it doesn't register internal nets. If neither $read_lib_saif
nor $read_rtl_saif is specified, then also all the internal nets will
be monitored.
Syntax:
$read_rtl_saif(<inputFile>, [, testbench_path_name]);
$set_gate_level_monitoring
Allows you to turn on/off the monitoring of nets in the design if
both $read_lib_saif and $read_rtl_saif are present in the design.
Syntax:
$set_gate_level_monitoring("on" | "off" | "rtl_on");
"rtl_on"
All reg type of objects are monitored for toggles. Net
type of objects are monitored only if it is a cell highconn. This
is the default monitoring policy.
"off"
net type of objects are not monitored.
"on"
reg type of objects are monitored only if it is a cell hiconn.