IEEE 1850-2010(Redline)
$230.75
IEEE Standard for Property Specification Language (PSL) (Redline)
| Published By | Publication Date | Number of Pages |
| IEEE | 2010 | 188 |
Revision Standard – Inactive-Reserved. 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 Std 1076ā¢ (VHDLĀ®), IEEE Std 1354 (VerilogĀ®), IEEE Std 1666ā¢ (SystemCĀ®), and IEEE Std 1800(TM) (SystemVerilog(R)), thereby enabling a common specification and verification flow for multi-language and mixed-language designs. PSL captures design intent in a form suitable for simulation, formal verification, formal analysis, and hybrid verification tools. PSL enhances communication among architects, designers, and verification engineers to increase productivity throughout the design and verification process. The primary audiences for this standard are the implementors of tools supporting the language and advanced users of the language.
Related products
-
IEEE 1850 2010
IEEE Standard for Property Specification Language (PSL) Published By Publication Date Number of Pages IEEEā¦
-
IEEE IEC 61850 9 3 2016
IEC/IEEE International Standard – Communication networks and systems for power utility automation ā Part 9-3:ā¦
-
IEEE 1800 2017:2018 Edition
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language Published By Publication Date Numberā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances (Superseded) Publishedā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE 1890-2018
IEEE Standard for Error Correction Coding of Flash Memory Using Low-Density Parity Check Codes Publishedā¦
-
IEEE 1857-2013
IEEE Standard for Advanced Audio and Video Coding (Superseded) Published By Publication Date Number ofā¦
-
IEEE 1857 2013
IEEE Standard for Advanced Audio and Video Coding Published By Publication Date Number of Pagesā¦
-
IEEE 1855 2016
IEEE Standard for Fuzzy Markup Language Published By Publication Date Number of Pages IEEE 2016ā¦
-
IEEE 1851-2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE 1250 2018
IEEE Guide for Identifying and Improving Voltage Quality in Power Systems Published By Publication Dateā¦
-
IEEE 1850-2010
IEEE Standard for Property Specification Language (PSL) Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1858 2016:2017 Edition
IEEE Standard for Camera Phone Image Quality Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1856-2017
IEEE Standard Framework for Prognostics and Health Management of Electronic Systems Published By Publication Dateā¦
-
IEEE 1860 2014
IEEE Guide for Voltage Regulation and Reactive Power Compensation at 1000 kV AC and Aboveā¦
-
IEEE 1870 2019
IEEE Guide for the Parameter Measurement of AC Transmission Lines Published By Publication Date Numberā¦
-
IEEE 1854-2019
IEEE Trial-Use Guide for Smart Distribution Applications Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1857.4-2018
IEEE Standard for Second-Generation IEEE 1857 Video Coding Published By Publication Date Number of Pagesā¦
-
IEC/IEEE 61850-9-3:2016
Communication networks and systems for power utility automation – Part 9-3: Precision time protocol profileā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
-
IEEE 1855-2016
IEEE Standard for Fuzzy Markup Language Published By Publication Date Number of Pages IEEE 2016ā¦
-
IEEE 1859 2017
IEEE Standard for Relaxor-Based Single Crystals for Transducer and Actuator Applications Published By Publication Dateā¦
-
IEEE 1857-2013
IEEE Standard for Advanced Audio and Video Coding Published By Publication Date Number of Pagesā¦
-
IEEE 1854-2019
IEEE Trial-Use Guide for Smart Distribution Applications Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1859-2017
IEEE Standard for Relaxor-Based Single Crystals for Transducer and Actuator Applications Published By Publication Dateā¦
-
IEEE 1851 2012
IEEE Standard for Design Criteria of Integrated Sensor-Based Test Applications for Household Appliances Published Byā¦
-
IEEE 1854 2019
IEEE Trial-Use Guide for Smart Distribution Applications Published By Publication Date Number of Pages IEEEā¦
-
IEEE 1810 2017
IEEE Guide for the Installation of Fire-Rated Cables Suitable for Hydrocarbon Pool Fires for Criticalā¦
-
IEEE 1890-2018
IEEE Standard for Error Correction Coding of Flash Memory Using Low-Density Parity Check Codes Publishedā¦
-
IEEE 1890 2018:2019 Edition
IEEE Standard for Error Correction Coding of Flash Memory Using Low-Density Parity Check Codes Publishedā¦
-
IEEE IEC 62531 2012
IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL) Published By Publication Dateā¦
-
IEEE 1850-2010(Redline)
IEEE Standard for Property Specification Language (PSL) (Redline) Published By Publication Date Number of Pagesā¦
-
IEEE 1580 2011
IEEE Recommended Practice for Marine Cable for Use on Shipboard and Fixed or Floating Facilitiesā¦
-
IEEE 1800-2012
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language Published By Publication Date Numberā¦
-
IEEE 1250 2011
IEEE Guide for Identifying and Improving Voltage Quality in Power Systems Published By Publication Dateā¦
-
IEEE 1856 2017
IEEE Standard Framework for Prognostics and Health Management of Electronic Systems Published By Publication Dateā¦
-
IEEE 1580 2001
IEEE Recommended Practice for Marine Cable for Use on Shipboard and Fixed or Floating Platformsā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
-
IEEE 1857-2013
IEEE Standard for Advanced Audio and Video Coding Published By Publication Date Number of Pagesā¦
-
IEEE 1800-2017
IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language (Superseded) Published By Publication Dateā¦
