IEEE-1364 / IEEE-1800

Verilog 2005 (IEEE Standard 1364-2005) consists of minor corrections, spec clarifications, and a few new language features

SystemVerilog is a superset of Verilog-2005, with many new features and capabilities to aid design-verification and design-modeling