PSL is a Property Specification Language, and is based on IBM Sugar. It has been standardised as IEEE 1850. It allows a designer to express specific properties of a digital circuit, or other aspects of the design which are of interest in circuit verification. Properties may be tested by simulation or formal verification tools.
