bindPVSRulesFile
layoutXL bindPVSRulesFile string "fileName"
Description
Specifies the PVS rule deck file to be used for determining the input-scale for running PVS.
Arguments
GUI Equivalent
Examples
envGetVal("layoutXL" "bindPVSRulesFile")
envSetVal("layoutXL" "bindPVSRulesFile" 'string "PVSRuleFile")
Related Topics
List of Layout XL Environment Variables
Return to top