IEC 62530-2:2023 SystemVerilog - 第二部分：通用验证方法学语言参考手册

标准号：IEC 62530-2:2023

发布日期：2023-10-11

SystemVerilog - Part 2: Universal Verification Methodology Language Reference Manual

SystemVerilog - 第二部分：通用验证方法学语言参考手册

IEC62530-2:2023的适用范围是：该标准规定了基于IEEEStd1850属性规范语言（PSL）的硬件设计验证语言（VHDL）的扩展，用于描述和验证数字系统的时序属性。它主要适用于使用VHDL进行数字电路和系统设计、仿真及形式验证的工程师和工具开发者。