IEEE Standard for Property Specification Language (PSL)
IEEE属性规范语言（PSL）标准

2010-04-06

Property Specification Language (PSL)
物业规格语言（Psl）

2012-06-21

IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)
IEC 62531:2012（E）（IEEE标准1850-2010）:性能规范语言（PSL）标准

2012-06-28

IEEE Standard for Extensions to Standard Test Interface Language (STIL) (IEEE Std. 1450-1999) for Tester Target Specification
测试仪目标规范的IEEE标准测试接口语言（STIL）扩展标准（IEEE标准1450-1999）

2007-09-07

IEEE Standard for Extensions to Standard Test Interface Language (STIL) (IEEE Std 1450-1999) for DC Level Specification
直流电平规范的IEEE标准测试接口语言（STIL）扩展标准（IEEE Std 1450-1999）

2003-03-18

IEEE Standard for Extensions to Standard Test Interface Language (STIL) (IEEE Std 1450-1999) for Test Flow Specification
IEEE测试流规范标准测试接口语言（STIL）扩展标准（IEEE Std 1450-1999）

2018-01-31

IEEE/IEC International Standard - SystemVerilog -- Unified Hardware Design, Specification, and Verification Language
SystemVerilog——统一的硬件设计、规范和验证语言

2011-05-19

IEC/IEEE International Standard - Behavioral Languages - Part 5: Standard VITAL ASIC (Application Specific Integrated Circuit) Modeling Specification
IEC/IEEE国际标准行为语言第5部分:标准重要ASIC（专用集成电路）建模规范

2004-11-15

IEC 62527 Ed. 1 (IEEE Std 1450.2(TM)-2002): Standard for Extensions to Standard Test Interface Language (STIL) for DC Level Specification
IEC 62527第1版（IEEE Std 1450.2（TM）-2002）:直流电平规范的标准测试接口语言（STIL）扩展标准

2007-12-09

IEC 62530 Ed. 1 (IEEE Std 1800(TM)-2005): Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language
IEC 62530第1版（IEEE Std 1800（TM）-2005）:SystemVerilog标准——统一硬件设计、规范和验证语言

2007-12-09