Property Specification Language

The property specification language ( PSL ; German as description language for properties ) was of Accellera developed properties or assertions in the design of hardware to specify designs. These properties can then be simulated or formally verified . Since September 2004 the standardization of the language has been promoted by the IEEE 1850 working group. In September 2005 , the IEEE 1850 Standard for Property Specification Language (PSL) was officially introduced.

The property specification language should be able to be used in a large number of hardware description languages . For example:

VHDL (IEEE 1076)
Verilog (IEEE 1364)
SystemVerilog (IEEE 1800)
SystemC by the OSCI

Web links

IEEE P1850 PSL Working Group (English)
IEEE Announcement September 2005 (English)
Accellera
Designers guide to PSL (English)

Programmable logic

Concepts

ASIC • SoC • FPGA ( CLB ) • CPLD • EPLD • PLA • PAL • GAL • PSoC • Reconfigurable Computing ( Xputer ) • Soft microprocessor • Circuit underutilization • High-level synthesis • Hardware acceleration

Programming technology

Mask-programmed • Antifuse • EPROM • E²PROM • Flash • SRAM

Programming languages

Verilog ( A , AMS ) • VHDL ( AMS , VITAL ) • SystemVerilog ( DPI ) • SystemC • AHDL • Handel-C • PSL • UPF • PALASM • ABEL • CUPL • OpenVera • C to HDL • Flow to HDL • MyHDL • JHDL • ELLA

Manufacturer

Accellera • Actel • Achronix • AMD • Aldec • Atmel • Cadence • Cypress • Duolog • Forte • Intel ( Altera ) • Lattice • National • Mentor Graphics • Microsemi • Signetics • Synopsys ( Magma , Virage Logic ) • Texas Instruments • Tabula • Xilinx

Products

hardware

iCE • Stratix • Cyclone • Arria • Max • Kintex • Zynq • Virtex

software

Intel Quartus Prime • Xilinx ISE • Xilinx Vivado • ModelSim • VTR

Proprietary	ARC • ARM Cortex-M • PowerPC • LEON • LatticeMico8 • MicroBlaze • PicoBlaze • Nios • Nios II
Open source	JOP • LatticeMico32 • OpenCores • OpenRISC • RISC-V • Zet