Property Specification Language: Difference between revisions

Content deleted Content added
What does it stand for?
m explain OSCI
Line 6:
* [[Verilog]] (IEEE 1364),
* [[System Verilog]] (IEEE 1800), and
* [[SystemC]] (IEEE 1666) by [[Open SystemC Initiative|Open SystemC Initiative (OSCI)]].
 
== External links ==