How many people use Truss/Teal versus Synopsys's VMM and Mentor/Cadence's OVM? I got the impresssion Synopsys VCS simulator is the 'gold standard' as far as Systemverilog goes, but the other vendors have (finally) caught up to the point where verif engineers can get real work done in Systemverilog.