Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.
The current standard of SystemVerilog is published by the IEEE and Accellera, an industry-based standards association. It is given the number 3.1a, which indicates that it is the third major revision of Verilog. These are the SystemVerilog and Verilog standards.
This is the LRM. This, however, only defines the extensions to the Verilog standard—1364-2005. To get a full definition of SystemVerilog, both LRMs are needed.