Conformal等价检查工具用户手册及其特性介绍

内容概要：本文档为 Conformal 软件的使用指南，包括了多种配置方式的支持与限制说明以及对 VHDL 和 SystemVerilog 语言的相关规定与用法介绍，提供了软件使用时应注意的关键细节。它详细阐述了关于全局信号、组件配置、嵌套配置等功能的操作规则和限制条件，还涵盖了SystemVerilog的模块层次支持情况。 适用人群：硬件设计师和验证工程师，以及从事VHDL或者SystemVerilog语言进行设计描述的工程技术人员。 使用场景及目标：帮助专业人员理解和应用 Conformal 工具来完成等价性检查任务，确保两个不同但理论上等价的设计实际表现一致，提升设计验证的有效性和准确性。 其他说明：请注意，在多个实体间定义同一全局信号是不被允许的做法之一，同时文中提到了特定配置下不受支持的功能列表。