为了将其VCS Verilog仿真器升级成为更完整的验证环境，Synopsys公司宣布推出新增了测试平台功能的VCS，该产品同时还兼具Synopsys Vera产品的特性。 此次新发布的VCS增加了约束求解器引擎、内建了流发生器、高级数据类型和面向对象的编程方法，同时还新增了声明库和声明作用域功能，从而使该产品的仿真速度增加了5倍。 Synopsys仍将继续支持和改进独立的Vera测试平台开发产品，以便为仅使用仿真器的客户服务。而使用VCS的客户已不再需要独立的Vera产品，因为Vera产品的功能已被合并到VCS之中。 新的VCS采用了与Vera相同的约束求解器。在Vera中，采用多个求解器引擎同时分析用户定义的约束，以产生随机激励源。内建的流发生器可生成事务或指令的随机组合。动态和关联数组等高级数据类型可提高测试平台的编码效率。面向对象的编程方法也有助于生成可重复利用的测试平台。（转自 电子工程专辑）