conformal setup mode outline()

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:

  • Purpose and operation modes of Conformal software
  • 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
  • Blackboxing modules in Conformal: explanation of blackboxing a module in Conformal, verification of connections feeding into and out of blackboxed modules
  • 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
  • Managing rule checks in Conformal software: changing the severity of rule checks
————————

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:

  • Purpose and operation modes of Conformal software
  • 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
  • Blackboxing modules in Conformal: explanation of blackboxing a module in Conformal, verification of connections feeding into and out of blackboxed modules
  • 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
  • Managing rule checks in Conformal software: changing the severity of rule checks