IEEE - Institute of Electrical and Electronics Engineers, Inc. - 1850-2005

IEEE Standard for Property Specification Language (PSL)

active - Superseded by
Buy Now
Sponsor(s): Inst. Electr. & Electron. Eng., New York, NY
Organization: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 17 October 2005
Status: active
Page(s): 1 - 143
ICS Code (Languages used in information technology): 35.060
ISBN (Electronic): 978-0-7381-4780-2
DOI: 10.1109/IEEESTD.2005.97780
Regular:

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... View More

Standard:

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... View More

Document History

1850-2010
April 6, 2010
IEEE Standard for Property Specification Language (PSL)
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...
1850-2010
April 6, 2010
IEEE Standard for Property Specification Language (PSL) - Redline
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...
1850-2010
April 6, 2010
IEEE Standard for Property Specification Language (PSL)
The IEEE Property Specification Language (PSL) is defined. PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages,...
1850-2005
October 17, 2005
IEEE Standard for Property Specification Language (PSL)
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...
P1850/D8
January 1, 2005
Approved IEEE Draft Standard for Property Specification Language (PSL) (Replaced by IEEE 1850-2005)
A description is not available for this item.

Related Documents

P1735/D7, Sept 2014 - IEEE Approved Draft Recommended Practice for Encryption and Management of Electronic Design Intellectual Property (IP)
December 14, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

Distribution of electronic design intellectual property (EDIP) creates a risk of unsanctioned use and dilution of the investment in its creation. This standard provides guidance on technical protection measures to those who produce, use, process, or standardize the specifications of such electronics...

P12207-CD2-1410, Oct 2014 - ISO/IEC/IEEE Draft International Standard - Systems and software engineering -- Software life cycle processes
January 1, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This International Standard establishes a common process framework for describing the full lifecycle of software products (including software elements of systems) from conception through retirement. It applies to the acquisition or development of software products and services whether performed inte...

P15288-FDIS-1412 - ISO/IEC/IEEE Draft Systems and software engineering -- System life cycle processes
December 19, 2014 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This International Standard establishes a common process framework for describing the lifecycle of man-made systems. It defines a set of processes and associated terminology for the full life cycle, including conception, development, production, utilization, support and retirement. This standard als...

P1453/D3, Jan 2011 - IEEE Draft Recommended Practice for Adoption of IEC 61000-4-15:2010, Electromagnetic compatibility (EMC--Testing and measurement technique--FlickermeterFunctional and design specifications
March 18, 2015 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This standard adopts IEC 61000-4-15:2010, which gives a functional and design specification for flicker measuring apparatus intended to indicate the correct flicker perception level for all practical voltage fluctuation waveforms. Information is presented to enable such an instrument to be construct...

IEEE P1453/D3, June 2011 - IEEE Draft Recommended Practice -- Adoption of IEC 61000-4-15:2010, Electromagnetic compatibility (EMC)---Testing and measurement techniques---Flickermeter---Functional and design specifications
March 19, 2015 - IEEE - Institute of Electrical and Electronics Engineers, Inc.

This standard adopts IEC 61000-4-15:2010, which gives a functional and design specification for flicker measuring apparatus intended to indicate the correct flicker perception level for all practical voltage fluctuation waveforms. Information is presented to enable such an instrument to be construct...

Related Products

Searching for related products...

Related Suppliers

Searching for related suppliers...

Advertisement