VERILOG2085: Pragma protect directives should not define unknown keyword options

Summary

Count: 1

ReliabilitySecurityMaintainabilityCode attributeEffort to fixTags
HIGH--Intentionality | Logical10minsynthesis, vscode, linter, simulation

Description

Noncompliant code example

// Unknown keyword option 'foo'
`pragma protect encoding=(enctype="base64", foo="bar")

Compliant solution

`pragma protect encoding=(enctype="base64", bytes=6)

Pragma protect directives should not define unknown keyword options.

Parameters

No parameters.