conformal setup mode outline

Posted 2023-03-17 MOVIT

setup mode outline

I. Overview

• Introduction to Conformal software and its two operating modes
• Explanation of Setup mode and its purpose

II. Using the Setup Mode

• Reading in library and design files
• Supported file formats
• Specifying a new root module manually
• Sorting module lists alphabetically
• Applying constraints to designs for verification
• Placing constraints on designs to exclude sections from verification
• Specifying behavior and relationships within designs
• Constraining internal nets, instances, and feedback

III. Design Constraints

• Blackboxing modules in Conformal
• Explanation of blackboxing a module in Conformal
• Verification of connections feeding into and out of blackboxed modules

IV. Name-Based Mapping Methods

• Explanation of name-first, name-guide, and name-only methods in Conformal software
• Use of naming rules to help with mapping key points

V. Managing Rule Checks

• Changing the severity of rule checks in Conformal software

Knowledge Points:

1. Purpose and operation modes of Conformal software
2. Reading in library and design files: supported file formats, specifying a new root module manually, sorting module lists alphabetically
3. Applying constraints to designs for verification: placing constraints on designs to exclude sections from verification, specifying behavior and relationships within designs, constraining internal nets, instances, and feedback
4. Blackboxing modules in Conformal: explanation of blackboxing a module in Conformal, verification of connections feeding into and out of blackboxed modules
5. Name-based mapping methods: explanation of name-first, name-guide, and name-only methods in Conformal software; use of naming rules to help with mapping key points
6. Managing rule checks in Conformal software: changing the severity of rule checks