From EET.com: "Providing some of the first third-party tool
support for the OpenVera hardware verification language, SynaptiCAD
Inc. has rolled out TestBencher Pro version 7.4, which generates
OpenVera testbenches from timing diagrams. The language-independent
tool also supports Verilog, VHDL and SystemC.
When Synopsys Inc. announced the open-source OpenVera language in
early April, SynaptiCAD was among some 20 third-party endorsers -- and
one of two companies cited by Synopsys as having announced product
plans. The other is Denali Software, which supports OpenVera with its
Memory Modeler product."