SystemVerilog是基于Verilog的硬件描述语言(HDL)和基于Vera的硬件验证语言(HVL)的组合,具有来自断言语言的附加功能。
该语言的HDL部分来自IEEE 1364-2001,现在在技术上已经弃用,取而代之的是SystemVerilog(IEEE 1800)。它扩展了VHDL的一些功能,如接口interface。增加了新的应用程序编程接口,包括直接编程接口(DPI)。
HVL本身是多种语言。主体是一种面向对象的语言,针对约束随机测试方法。断言语言是一种声明式语言,现在基本上已经与属性规范语言(PSL)融合。
SystemVerilog 3.0(初始版本是3.0,因为他们认为原始Verilog是1.0,1364-2001是Verilog 2.0,所以这是Verilog 3.0)于2002年6月获得Accellera的批准,并移交给IEEE批准。
SystemVerilog 3.1版于2003年5月发布,3.1a版于2004年5月发布,其中包括验证语言和C语言集成的改进。这变成了IEEE 1800-2005。
IEEE 1800-2009(2009年12月)将标准的Verilog部分提高到IEEE 1364-2005,这正式结束了未来Verilog版本的开发。
由于SystemVerilog的广泛性,EDA供应商无法在单个版本中实现整个语言。为了方便使用他们每个人已实现的子集,他们围绕其子集开发了方法和类库,以帮助用户创建验证环境。这导致了大量的方法论,如Synopsys的验证方法手册(VMM)、Mentor等的高级验证方法(AVM)。随着时间的推移,这些一起融合,直到该行业完成了通用验证方法(UVM)。