vera逐渐要转向systemverilog上， 这是业界的一个趋势， 虽然目前的specman E语言貌似口碑比vera好，但是 前途未知啊
国外业界的一些企业已经开始转向systemverilog了， 国内公司动作较慢

systemverilog没有用过， 资料上说是做设计和验证都比较合适， 也许是为了验证人员和设计人员之间的沟通更方便吧，大家都用同一个语法的工具。语法上可能引入了面向对象的思想，估计是vera和verilog的结合体！
vera或者systemverilog 都可用VCS仿真，synopsys提供的工业级仿真工具 ，questa没听说过，不知道是什么公司的

我一直用verilog和vhdl，并且没有遇到瓶颈。