ANSI/IEEE 1850-2005 PSL标准特性分类语言

作者:标准资料网 时间:2024-05-07 14:07:53  浏览:9960   来源:标准资料网

【英文标准名称】:StandardforPSL:PropertySpecificationLanguage
【原文标准名称】:PSL标准特性分类语言
【标准号】:ANSI/IEEE1850-2005
【标准状态】:作废
【国别】:美国
【发布日期】:2005
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;合格试验;数据处理;定义;定义;信息技术;;程序设计语言;程序设计语言;语义学;规范;句法;验证
【英文主题词】:Computersoftware;Conformitytesting;Dataprocessing;Definitions;Informationtechnology;Programdevelopment;Programminglanguages;Semantics;Specification;Syntax;Verification
【摘要】:TheIEEEPropertySpecificationLanguage(PSL)isdefined.PSLisaformalnotationforspecificationofelectronicsystembehavior,compatiblewithmultipleelectronicsystemdesignlanguages,includingIEEE1076VHDL,IEEE1364Verilog,IEEEP1666SystemC,andIEEE1800SystemVerilog,therebyenablingacommonspecificationandverificationflowformulti-languageandmixed-languagedesigns.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语