Loading data. Please wait

Tra cứu tiêu chuẩn  
Tìm kiếm nâng cao

IEC 62531*CEI 62531*IEEE 1850

Property specification language (PSL)

Số trang: 174
Ngày phát hành: 2012-06-00

Liên hệ
Số hiệu tiêu chuẩn
IEC 62531*CEI 62531*IEEE 1850
Tên tiêu chuẩn
Property specification language (PSL)
Ngày phát hành
2012-06-00
Trạng thái
Có hiệu lực
Tiêu chuẩn tương đương
BS IEC 62531 (2012-08-31), IDT * IEEE 1850 (2010), IDT * NEN-IEC 62531:2012 en (2012-06-01), IDT
Tiêu chuẩn liên quan
IEC 62142*CEI 62142 (2005-06)
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
* IEEE 1076.6 (2004)
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
* IEEE 1364 (2005)
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
* IEEE 1666 (2011)
Standard SystemC® Language Reference Manual
Số hiệu tiêu chuẩn IEEE 1666
Ngày phát hành 2011-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
* IEEE 1076 (2008) * IEEE 1800 (2009)
Thay thế cho
IEC 62531*CEI 62531 (2007-11)
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
* IEC 93/319/FDIS (2011-12)
Thay thế bằng
Lịch sử ban hành
IEC 62531*CEI 62531*IEEE 1850 (2012-06)
Property specification language (PSL)
Số hiệu tiêu chuẩn IEC 62531*CEI 62531*IEEE 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
* IEC 62531*CEI 62531 (2007-11)
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
* IEC 93/319/FDIS (2011-12) * IEC 93/253/FDIS (2007-06)
Từ khóa
Computer hardware * Computer software * Conformity testing * Data processing * Definitions * Information technology * Program development * Programming languages * Properties * Semantics * Specification * Syntax * Verification * Software * Hardware
Mục phân loại
35.060. Ngôn ngữ dùng trong công nghệ thông tin
Số trang
174

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