BS IEC 62531:2012 PDF

What is BS IEC 62531 - Property specification language about?

BS IEC 62531 defines the property specification language (PSL), which formally describes the electronic system behaviour.   BS IEC 62531 specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages. The purpose of BS IEC 62531 is to provide a well-defined language for formal specification of electronic system behaviour, one that is compatible with multiple electronic system design languages, including IEEE Std 1076 ™ (VHDL®), IEEE Std 1364 ™ (Verilog®), IEEE Std 1800 ™ (SystemVerilog®), and IEEE Std 1666 ™ (SystemC®), to facilitate a common specification and verification flow for multi-language and mixed-language designs. This standard creates an updated IEEE standard based upon IEEE Std 1850-2005. The updated standard will refine the IEEE standard, addressing errata, minor technical issues, and proposed extensions specifically related to property reuse and improved simulation usability.

Who is BS IEC 62531 - Property specification language for