Property Specification Language: Difference between revisions

Revision as of 10:02, 4 August 2015

Revision as of 10:03, 4 August 2015

Line 237:

===Language compatibility===

Property Specification Language can be used with multiple electronic system design languages (HDLs) such as:

* [[VHDL]] (IEEE 1076),

* [[Verilog]] (IEEE 1364),

* [[SystemVerilog]] (IEEE 1800), and

* [[SystemC]] (IEEE 1666) by [[Open SystemC Initiative|Open SystemC Initiative (OSCI)]].

When PSL is used in conjunction with one of the above HDLs, its Boolean layer uses the operators of the respective HDL.