Loading data. Please wait

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

IEEE 1850

Property Specification Language (PSL)

Số trang: 153
Ngày phát hành: 2005-00-00

Liên hệ
New IEEE Standard - Inactive - Superseded.Replaced by 62531 (E):2007. The IEEE Property Specification Language (PSL) is defined in this standard. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE St
Số hiệu tiêu chuẩn
IEEE 1850
Tên tiêu chuẩn
Property Specification Language (PSL)
Ngày phát hành
2005-00-00
Trạng thái
Hết hiệu lực
Tiêu chuẩn tương đương
IEC 62531*CEI 62531 (2007-11), IDT
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
* ANSI/IEEE 1850 (2005), IDT * BS IEC 62531 (2007-12-31), NEQ * IEC 93/253/FDIS (2007-06), IDT * NEN-IEC 62531:2007 en (2007-12-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 (2001)
Verilog® hardware description language
Số hiệu tiêu chuẩn IEEE 1364
Ngày phát hành 2001-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 1076 (2002) * IEEE P 1666 * IEEE P 1800
Thay thế cho
Thay thế bằng
IEEE 1850 (2010)
Property specification language (PSL)
Số hiệu tiêu chuẩn IEEE 1850
Ngày phát hành 2010-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
Lịch sử ban hành
IEEE 1850 (2010)
Property specification language (PSL)
Số hiệu tiêu chuẩn IEEE 1850
Ngày phát hành 2010-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 1850 (2005)
Property Specification Language (PSL)
Số hiệu tiêu chuẩn IEEE 1850
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
Từ khóa
Computer software * Conformity testing * Data processing * Definitions * Information technology * Program development * Programming languages * Semantics * Specification * Syntax * Verification * Software
Mục phân loại
35.060. Ngôn ngữ dùng trong công nghệ thông tin
Số trang
153

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