Standard for property specification language (PSL)

Tìm kiếm nâng cao

IEC 62531*CEI 62531

Số trang: 152
Ngày phát hành: 2007-11-00

Liên hệ

Tóm tắt
Chi tiết

Số hiệu tiêu chuẩn

IEC 62531*CEI 62531

Tên tiêu chuẩn

Standard for property specification language (PSL)

Ngày phát hành

2007-11-00

Trạng thái

Hết hiệu lực

Tiêu chuẩn tương đương

BS IEC 62531 (2007-12-31), IDT * IEEE 1850 (2005), IDT * NEN-IEC 62531:2007 en (2007-12-01), IDT

Tiêu chuẩn liên quan

IEC 62142*CEI 62142 (2005-06) * IEEE 1076.6 (2004) * IEEE 1364 (2005) * IEEE 1364.1 (2002) * IEEE 1666 (2005) * IEEE 1800 (2005) * IEEE 1076 (2002)

Thay thế cho

IEC 93/253/FDIS (2007-06)

Thay thế bằng

IEC 62531*CEI 62531*IEEE 1850 (2012-06)

Lịch sử ban hành

IEC 62531*CEI 62531*IEEE 1850 (2012-06) * IEC 62531*CEI 62531 (2007-11) * IEC 93/253/FDIS (2007-06)

Từ khóa

Automation * Computer software * Conformity testing * Data processing * Definitions * Electronic engineering * Electronic systems * Information technology * Interfaces * Logic * Program development * Programming languages * Properties * Semantics * Software * Specification * Syntax * Verification

Mục phân loại

35.060. Ngôn ngữ dùng trong công nghệ thông tin

Số trang

152

LOẠI TIÊU CHUẨN PHỔ BIẾN | TẤT CẢ LOẠI TIÊU CHUẨN

Verilog® register transfer level synthesis
Số hiệu tiêu chuẩn	IEC 62142*CEI 62142
Ngày phát hành	2005-06-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

VHDL Register Transfer Level (RTL) synthesis
Số hiệu tiêu chuẩn	IEEE 1076.6
Ngày phát hành	2004-00-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

Verilog® hardware description language
Số hiệu tiêu chuẩn	IEEE 1364
Ngày phát hành	2005-00-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

Verilog® Register Transfer Level Synthesis
Số hiệu tiêu chuẩn	IEEE 1364.1
Ngày phát hành	2002-00-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

SystemC language - Reference manual
Số hiệu tiêu chuẩn	IEEE 1666
Ngày phát hành	2005-00-00
Mục phân loại	35.080. Phát triển phần mềm và hệ thống tư liệu
Trạng thái	Có hiệu lực

System verilog - Unified hardware design, specification, and verification language
Số hiệu tiêu chuẩn	IEEE 1800
Ngày phát hành	2005-00-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

Property specification language (PSL)
Số hiệu tiêu chuẩn	IEC 62531CEI 62531IEEE 1850
Ngày phát hành	2012-06-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực

Standard for property specification language (PSL)
Số hiệu tiêu chuẩn	IEC 62531*CEI 62531
Ngày phát hành	2007-11-00
Mục phân loại	35.060. Ngôn ngữ dùng trong công nghệ thông tin
Trạng thái	Có hiệu lực