Manage the rules of verification and solver process using PollEx tools. Each rule is categorized by the categories of PollEx tools.
-
Select a tool to manage from PollEx Logic DFE, PollEx DFM, PollEx DFA, PollEx DFE, PollEx DFE+.
-
Manage groups.
-
Add: Add a new rule item group.
You can specify the name of the rule item group and a
description.
-
Delete: Delete the selected rule item groups.
The rule item group is not deleted in the system; it remains as
a hidden item and the Hidden status is changed to Y.
-
Permanent Deletion: Delete the selected rule item groups
permanently.
Note: Deleted rule item groups cannot be restored
after permanent deletion.
-
Restore: Restore selected hidden rule item groups.
The Hidden status changes to N after codes are
restored.
-
Content order: Change the display order of the rule item groups. After
specifying the order of the rule item groups, click Content
Order to apply.
-
Rule Item Group List: Show the rule item group list and click an item
name to edit the content.