conformal rule check outline

Outline

1. Conformal Equivalence Checking User Guide

   • Managing Rule Checks
   • HDL Rule Manager
   • Severity Levels
   • Enabling and Disabling Rule Checks
   • Running Incremental Rule Checks
   • Reporting Messages for Rule Checks
   • Viewing a Specific Message
   • Viewing Source Code for an Occurrence
   • Modeling Messages

2. HELP Command

   • Syntax: HELP [message_name]
   • Examples:
   • help F1
   • help -message

3. Tabs in the HDL Rule Manager:

   • RTL
   • Verilog
   • User-defined primitives

4. Explanation of Knowledge Points:

   • Managing Rule Checks: This section explains how to manage rule checks using Conformal Equivalence Checking User Guide, including how to use the HDL rule manager, change severity levels, enable/disable rule checks, run incremental checks, report messages, and view specific messages or source code.
   • HELP Command: This section explains how to use the HELP command to view all rule check messages or specific messages.
   • Tabs in the HDL Rule Manager: This section explains the different tabs in the HDL rule manager and what they are used for.