您的位置：
中国标准在线服务网 >>
全部标准分类 >>
国外标准 >>
IEEE >>
IEEE/IEC 62531-2012 IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)

【国外标准】 IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)

本网站发布时间： 2025-10-27

IEEE/IEC 62531-2012
定价：
在线阅读

开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！查看详情>>

标准简介

适用范围：

The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE Std 1076™ (VHDL®), IEEE Std 1354 (Verilog®), IEEE Std 1666™ (SystemC®), and IEEE Std 1800™ (SystemVerilog®), thereby enabling a common specification and verification flow for multi-language and mixed-language designs. PSL captures design intent in a form suitable for simulation, formal… read more verification, formal analysis, and hybrid verification tools. PSL enhances communication among architects, designers, and verification engineers to increase productivity throughout the design and verification process. The primary audiences for this standard are the implementors of tools supporting the language and advanced users of the language read less

基本信息

标准号：
IEEE/IEC 62531-2012
标准名称：
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)
英文名称：
标准状态：
发布日期：
实施日期：
出版语种：

标准分类号

标准ICS号：
中标分类号：

关联标准

替代以下标准：
被以下标准替代：
引用标准：
采用标准：

出版信息

页数：
184 页
字数：
开本：

其他信息

起草人：
起草单位：
归口单位：
提出部门：
发布部门：

其它标准

推荐标准

中国标准在线服务网