建模使用的是子集，验证使用的是全集

wjcdx

无论是建模语言（language）如verilog、SystemVerilog还是建模库（library）如SystemC，建模时使用的只是语言和库的一部分，即建模子集。

而验证则可以使用语言的全集，如验证是Verilog提供了什么，你就可以使用什么。如果使用的是SystemC，验证时，则可以使用C++语言的全集。Chisel可以使用Scala语言的全集。jchdl也可以使用Java的全集。

前提条件是验证工具支持即可，如果验证工具不支持的语言特性，那就不能用了。这也是Library优于Language的地方。Verilog和SystemVerilog无论是建模还是验证，都要受EDA或者验证工具的约束。而SystemC在验证的时候，只受到C++编译器的约束，而编译器基本上支持全部的C++语言规范的特性。Chisel的Scala和jchdl的Java同理。