vera e-specman
Hello Again:
Ya, as pointed by Aji, I have posted a subject "Seeking TRUTH: Specman Elite" at Janick Bergeron's Verification Guild. Got some replies, even 1 from Verisity representative.
Now, about support for Specman Elite, I believe these companies support/back Specman Elite language testbench work:
SynaptiCAD (Testbencher Pro)
Novas (nBench)
NoBug consulting
As Verisity recently acquired an HDL simulator company (Axis Systems), I believe this move somehow improve their chance to emerge to a winner. No one can tell! But, time will do so.
As for SystemVerilog, I think it is a pretty good option. But, there are still plenty things to be resolved (compatibility between HDLs, interoperability issues, LRM refinement) and most vendors only support a subset of its syntax. Next year, we may see better support. Talking about MTI, my experience suggests that a useful and stable 6.0 version will be around some time in late summer 2005. It is definitely flaky now. I have tried 5.8 and found myself revert to 5.7G (simply brilliant, but was released in Oct 2003).
I think until SystemVerilog is fully supported, combination of HDLs + PSL + HVLs will continue to flourished.