Revision as of 15:37, 3 August 2015 edit Fismand (talk \| contribs) 14 edits No edit summary ← Previous edit		Revision as of 15:38, 3 August 2015 edit undo Fismand (talk \| contribs) 14 edits No edit summary Next edit →
Line 225: * [[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. ==References==

Property Specification Language: Difference between revisions